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

Поиск по ключевому слову "дерево достижимости"


Программный комплекс верификации алгоритмов программного обеспечения с помощью иерархических сетей Петри

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

Авторы: Рудаков И.В., Пащенкова А.В.

Опубликовано в выпуске: #2(14)/2013

DOI: 10.18698/2308-6033-2013-2-538

Раздел: Информационные технологии