|
|
Publications in Math-Net.Ru |
Citations |
|
2021 |
1. |
R. E. Sharykin, “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 |
1
|
|
2020 |
2. |
R. E. Sharykin, A. N. Kurbatskii, “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
|
|
2019 |
3. |
R. E. Sharykin, A. N. Kourbatski, “A model of distributed object-based stochastic hybrid systems”, Journal of the Belarusian State University. Mathematics and Informatics, 2 (2019), 52–61 |
4
|
|
Organisations |
|
|