временные автоматы

Громов М.Л. Шабалдина Н.В. Использование BALM-II для построения параллельной композиции временных автоматов с задержками выходов и таймаутами: сообщение о ходе исследования // Системная информатика. — . — № 8.  — С. 33-42
Твардовский А.С. Евтушенко Н.В. К параллельной композиции автоматов с временными ограничениями // Системная информатика. — . — № 14.  — С. 55-64
Подписаться на временные автоматы