Программный комплекс верификации алгоритмов программного обеспечения с помощью иерархических сетей Петри
Опубликовано: 01.04.2013
Авторы: Рудаков И.В., Пащенкова А.В.
Опубликовано в выпуске: #2(14)/2013
DOI: 10.18698/2308-6033-2013-2-538
Раздел: Информационные технологии