Letichevsky, O.O., Glushkov Institute of Cybernetics NAS of Ukraine
-
No 1 (2020) - Software for Secure Information
Decentralized systems in logistics: usage overview and security issues
Abstract PDF (Українська) -
No 2-3 (2014) - Formal methods of programming
Static method of consistency and completeness checking in formal model of distributed software systems
Abstract PDF (Русский)