| ||||||||||||||||||||||||
Другие журналы
электронный журнал
МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК
Издатель Академия инженерных наук им. А.М. Прохорова. Эл No. ФС77-51038. ISSN 2307-0609
Метод формализации программного обеспечения иерархическими сетями Петри
Молодежный научно-технический вестник # 06, июнь 2013
УДК: 519.876.5
Файл статьи:
Пащенкова А.В..pdf
(503.20Кб)
Пащенкова А.В..pdf
(503.20Кб)
1. Пащенкова А.В., Рудаков И.В. Программный комплекс верификации алгоритмов программного обеспечения с помощью иерархических сетей Петри // Электронный журнал «Вестник МГТУ им. Н.Э. Баумана: электронное научно-техническое издание». 2012.
2. Воевода А.А., Прытков Д.В. Применение сетей Петри на этапе объектно-ориентированного проектирования. – Сборник научных трудов НГТУ. – 2010. – № 2(60).
3. Коротиков С.В. Применение сетей Петри в разработке программного обеспечения центров дистанционного контроля и управления: дис. канд. техн. Наук. – Новосибирск: НГТУ, 2007.
Публикации с ключевыми словами: формализация, сложные системы, сети Петри, иерархические сети Петри, дерево достижимости
Публикации со словами: формализация, сложные системы, сети Петри, иерархические сети Петри, дерево достижимости
Смотри также:
Тематические рубрики:
Поделиться:
| Авторы |
| Пресс-релизы |
| Библиотека |
| Конференции |
| Выставки |
| О проекте |
| Телефон: +7 (499) 263-61-98 |
|
 |
|||
| © 2003-2024 «Молодежный научно-технический вестник» Тел.: +7 (499) 263-61-98 | |||||
