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

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

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

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

Анализ моделей параллельных процессов формализованных сетью Петри. Исключение тупиков

Молодежный научно-технический вестник # 08, август 2015
УДК: 004.021
Файл статьи: Омарова М.О..pdf (245.26Кб)
автор: Омарова М. О.

1.     Котов В.Е. Сети Петри. М.: Наука. 1984. 160 с.

2.     Советов Б.Я.,  Яковлев С.А. Моделирование систем. М.: Высшая школа. 2005. 344 с.

3.     Документация по библиотеке Aspose. Режим доступа:  http://www.aspose.com/docs/dashboard.action (дата обращения 20.05.2014).

4.     Бьяфоре Б. Microsoft Visio 2007. Библия пользователя Visio 2007: учебное пособие. М.: Высшая школа, 2009. 259 c.

5.     Рудаков И. В., Ребриков А. В. Неполная верификация сложных дискретных систем // Информационные технологии. 2011. № 3. С. 31-34.

6.     Рудаков И. В., Ребриков А. В. Масштабирование алгоритмов для автоматической генерации модульных тестов // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. 2011. № 4. С. 119-124.

7.     Рудаков И. В., Ребриков А. В. Проверка выполнения функциональных требований к алгоритму на основе структурной генерации модульных тестов // Вестник МГТУ им. Н.Э. Баумана. Сер. Приборостроение. 2012. Спец. вып. 2 «Программная инженерия». С. 67-79.


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



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