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

сверхслово двустороннее

Документи:

Чеботарев, А. Н. Верфикация спецификация в языке L относительнотемпоральных свойств, не выразимых в этом языке [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. – 2009. – Т. 45, № 5. – С. 3-12.
Чеботарев, А. Н. Преобразование спецификации автомата в языке L* в автоматно эквивалентную спецификацию в языке L* [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. – 2010. – Т. 46, № 4. – С. 60-69.