| |
Чеботарев, А. Н.
Верфикация спецификация в языке L относительнотемпоральных свойств, не выразимых в этом языке [Текст] / А. Н. Чеботарев
// Кибернетика и системный анализ. – 2009. – Т. 45, № 5. – С. 3-12.
В насвтоящей работе предполагается, что для спецификации автоматов используется достаточно прогтой логический язык L. |
