Статья
Верификация событийно-управляемых программных систем с использованием языка спецификации взаимодействующих автоматных объектов
Август 2023