Информатика и системы управления
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Другие журналы

электронный журнал

МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК

Издатель Академия инженерных наук им. А.М. Прохорова. Эл No. ФС77-51038. ISSN 2307-0609

Метод формализации программного обеспечения иерархическими сетями Петри

Молодежный научно-технический вестник # 06, июнь 2013
УДК: 519.876.5
Файл статьи: Пащенкова А.В..pdf (503.20Кб)
автор: Пащенкова А. В.

1.       Пащенкова А.В., Рудаков И.В. Программный комплекс верификации алгоритмов программного обеспечения с помощью иерархических сетей Петри // Электронный журнал «Вестник МГТУ им. Н.Э. Баумана: электронное научно-техническое издание». 2012.

2.       Воевода А.А., Прытков Д.В. Применение сетей Петри на этапе объектно-ориентированного проектирования. – Сборник научных трудов НГТУ. – 2010. – № 2(60).

3.       Коротиков С.В. Применение сетей Петри в разработке программного обеспечения центров дистанционного контроля и управления: дис. канд. техн. Наук. – Новосибирск: НГТУ, 2007.


Тематические рубрики:
Поделиться:
 
ПОИСК
 
elibrary crossref neicon rusycon
 
ЮБИЛЕИ
ФОТОРЕПОРТАЖИ
 
СОБЫТИЯ
 
НОВОСТНАЯ ЛЕНТА



Авторы
Пресс-релизы
Библиотека
Конференции
Выставки
О проекте
Rambler's Top100
Телефон: +7 (499) 263-61-98
  RSS
© 2003-2022 «Молодежный научно-технический вестник» Тел.: +7 (499) 263-61-98