язык Reflex

Зюбин В.Е. Лях Т.В. Верификация промышленных алгоритмов управления методом Model checking в сочетании с концепцией виртуальных объектов управления // Системная информатика. — . — № 8.  — С. 11-20
Зюбин В.Е. Лях Т.В. Розов А.С. Язык Рефлекс: практическая нотация для кибер-физических систем // Системная информатика. — . — № 12.  — С. 85-104
Подписаться на язык Reflex