Главная
» Результаты интеллектуальной деятельности (РИД) » Транслятор описаний сетей Петри в код SMV для определения их поведенческой эквивалентности на основе метода Model checking
Транслятор описаний сетей Петри в код SMV для определения их поведенческой эквивалентности на основе метода Model checking
| Участники (ПГУ): | Дубинин Виктор Николаевич [70]  , Войнов Артем Сергеевич [10] , Дроздов Дмитрий Николаевич [10] , Сенокосов Илья Владимирович [5] , Миронова Елена Евгеньевна [5] |
| Название: | Транслятор описаний сетей Петри в код SMV для определения их поведенческой эквивалентности на основе метода Model checking |
| Владелец: | Дубинин Виктор Николаевич |
| Тип: | Программа для ЭВМ (свидетельство) |
| Дата: | 02.03.2018 |
| Описание: | . . |
| Дата создания: | 20.11.2018 21:47 |
| Ссылка на ресурс: | http://elib.pnzgu.ru/rid/154  |