Поиск по ключевому слову: временной автомат | Инженерный журнал: наука и инновации
Инженерный журнал: наука и инновацииЭЛЕКТРОННОЕ НАУЧНО-ТЕХНИЧЕСКОЕ ИЗДАНИЕ
свидетельство о регистрации СМИ Эл № ФС77-53688 от 17 апреля 2013 г. ISSN 2308-6033. DOI 10.18698/2308-6033
  • Русский
  • Английский

Поиск по ключевому слову "временной автомат"


Подход к верификации моделей систем реального времени с помощью метода Model Checking

Опубликовано: 31.12.2012

Авторы: Андреев А.М., Козлов И.А.

Опубликовано в выпуске: #11(11)/2012

DOI: 10.18698/2308-6033-2012-11-478

Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети