|
А |
Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем |
2004 |
Козюра В. Е. |
|
|
СО РАН, ИСИ СО РАН |
|
13.08.2004 |
|
П |
Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток |
2002 |
Козюра В. Е. |
|
|
ИСИ СО РАН |
|
15.04.2002 |
|
П |
Верификация раскрашенных сетей Петри методом проверки моделей |
2001 |
Козюра В. Е., Непомнящий В. А., Новиков Р. М. |
|
|
ИСИ СО РАН |
22014 |
23.10.2001 |
|
П |
Разверстки раскрашенных сетей Петри со временем |
2000 |
Козюра В. Е. |
|
|
|
|
08.03.2001 |
|
СТ |
Использование метода проверки моделей для верификации коммуникационных протоколов, представленных раскрашенными сетями Петри |
2000 |
Козюра В. Е., Новиков Р. М. |
|
|
|
Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II |
21.07.2000 |
|
СТ |
Проблемно-ориентированная верификация спецификаций распределенных систем |
1998 |
Козюра В. Е., Шилов Н. В. |
|
|
|
ИНПРИМ-98 |
27.06.1998 |
