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
Contact us: