процесс-ориентированное программирование

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