RUS
ENG
Full version
PEOPLE
Shoshmina Irina Vladimirovna
Publications in Math-Net.Ru
VeHa-2023 Formal Verification Contest: The Experience
Proceedings of ISP RAS
,
36
:2 (2024),
141–168
Distributed embedded control systems design with verification support
Model. Anal. Inform. Sist.
,
17
:4 (2010),
125–136
©
Steklov Math. Inst. of RAS
, 2024