RUS
ENG
Full version
PEOPLE
Kopach Viktoria Vladimirovna
Publications in Math-Net.Ru
Runtime verification of operating systems based on abstract models
Proceedings of ISP RAS
,
33
:6 (2021),
15–26
©
Steklov Math. Inst. of RAS
, 2024