Sharykin Raman E.

Publications in Math-Net.Ru

1. Application of formal methods in the design of a single window system
   
   Journal of the Belarusian State University. Mathematics and Informatics, 1 (2021),  79–90
2. Application of formal methods in the design of a collaborative virus defense system
   
   Journal of the Belarusian State University. Mathematics and Informatics, 1 (2020),  59–69
3. A model of distributed object-based stochastic hybrid systems
   
   Journal of the Belarusian State University. Mathematics and Informatics, 2 (2019),  52–61