Копач Виктория Владимировна

Публикации в базе данных Math-Net.Ru

1. Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы
   
   Труды ИСП РАН, 33:6 (2021),  15–26