Статья
Проверка соответствия поведения системы на основе автоматных объектов формальным требованиям
Апрель 2025