Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету

алгоритм реактивный

Документи:

Крывый, С. Л. Проверка непротиворечивости формул языка L, представленных в дизъюнктивной нормальной форме. I [Текст] / С. Л. Крывый, А. Н. Чеботарев // Кибернетика и системный анализ. – 2005. – № 4. – 22-28.
Чеботарев, А. Н. Верфикация спецификация в языке L относительнотемпоральных свойств, не выразимых в этом языке [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. – 2009. – Т. 45, № 5. – С. 3-12.
Чеботарев, А. Н. Проектирование реактивных алгоритмов путем решения уравнений над автоматами [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. – 2012. – Т. 48, № 4. – С. 3-13.