Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы.
View all issues | Summary
Manager: Alexey Khoroshilov
Developer: Andrey Tsyvarev, Anton Vasilyev