Стененко, Александр Александрович. - Верификация раскрашенных сетей Петри методом проверки моделей = Model checking approach to verification of coloured Petri nets [Текст] = Model checking approach to verification of coloured Petri nets / А. А. Стененко, В. А. Непомнящий. - Новосибирск : Ин-т систем информатики им. А. П. Ершова СО РАН, 2015. - 27 с. : табл.; 21 см. - (Препринт / Российская акад. наук, Сибирское отд-ние, Ин-т систем информатики им. А. П. Ершова; 178).

Экспресс-заказ фрагмента
Стененко, Александр Александрович.
Верификация раскрашенных сетей Петри методом проверки моделей = Model checking approach to verification of coloured Petri nets [Текст] = Model checking approach to verification of coloured Petri nets / А. А. Стененко, В. А. Непомнящий. - Новосибирск : Ин-т систем информатики им. А. П. Ершова СО РАН, 2015. - 27 с. : табл.; 21 см. - (Препринт / Российская акад. наук, Сибирское отд-ние, Ин-т систем информатики им. А. П. Ершова; 178).

Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация -- Верификация программ. Тестирование
Петри сети - Программы - Верификация
Шифр хранения:
FB 3 15-7/1797
FB 3 15-7/2073

Marc21

Скачать marc21-запись

Показать

Описание

Автор
ЗаглавиеВерификация раскрашенных сетей Петри методом проверки моделей = Model checking approach to verification of coloured Petri nets [Текст] = Model checking approach to verification of coloured Petri nets
Коллекции ЭК РГБ Каталог документов с 1831 по настоящее время
Дата поступления в ЭК РГБ 08.09.2015
Каталоги Книги (изданные с 1831 г. по настоящее время)
Сведения об ответственностиА. А. Стененко, В. А. Непомнящий
Выходные данныеНовосибирск : Ин-т систем информатики им. А. П. Ершова СО РАН, 2015
Физическое описание27 с. : табл.; 21 см
Серия(Препринт / Российская акад. наук, Сибирское отд-ние, Ин-т систем информатики им. А. П. Ершова; 178)
ТемаВычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация -- Верификация программ. Тестирование
Петри сети - Программы - Верификация
BBK-кодЗ973.2-018-5-05,0
ЯзыкАнглийский
Русский
Места храненияFB 3 15-7/1797
FB 3 15-7/2073