управляющее программное обеспечение

Гаранина Н.О. Старолетов С.М. Зюбин В.Е. Ануреев И.С. Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 // Системная информатика. — . — № 22.  — С. 21-30
Ануреев И.С. Операционная семантика языка Рефлекс // Системная информатика. — . — № 14.  — С. 1-10
Черненко И.М. Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах // Системная информатика. — . — № 25.  — С. 11-28
Черненко И.М. Шаблоны требований, возникающих при дедуктивной верификации процесс-ориентированных программ, и примеры их использования // Системная информатика. — . — № 22.  — С. 11-20
Зюбин В.Е. Лях Т.В. Розов А.С. Язык Рефлекс: практическая нотация для кибер-физических систем // Системная информатика. — . — № 12.  — С. 85-104
Подписаться на управляющее программное обеспечение