Стененко, Александр Александрович. - Верификация раскрашенных сетей Петри методом проверки моделей = 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).
Вычислительная техника -- Вычислительные машины электронные цифровые -- Программирование -- Автоматизация -- Верификация программ. Тестирование
Петри сети - Программы - Верификация
Шифр хранения:
Верификация раскрашенных сетей Петри методом проверки моделей = 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
Описание
| Автор | Стененко, Александр Александрович |
|---|---|
| Заглавие | Верификация раскрашенных сетей Петри методом проверки моделей = 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 |
