|
|
Publications in Math-Net.Ru |
Citations |
|
2024 |
1. |
S. M. Staroletov, D. A. Kondrat'ev, N. O. Garanina, I. V. Shoshmina, “VeHa-2023 Formal Verification Contest: The Experience”, Proceedings of ISP RAS, 36:2 (2024), 141–168 |
|
2010 |
2. |
I. V. Shoshmina, “Distributed embedded control systems design with verification support”, Model. Anal. Inform. Sist., 17:4 (2010), 125–136 |
|
Organisations |
|
|