|
СТ |
Верификация коммуникационных протоколов, представленных на языке Estelle, с помо ью сетей Петри высокого уровня |
2001 |
Непомнящий В. А., Алексеев Г. И., Быстров А. В., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. |
|
|
|
Программирование |
19.06.2001 |
|
СТ |
Верификация коммуникационных протоколов, представленных на языках Estelle и SDL |
2000 |
Непомнящий В. А., Алексеев А. Г., Быстров А. В., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. |
|
|
|
Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II |
22.07.2000 |
|
СТ |
Использование сетей Петри для верификации распределенных систем, представленных на языке Estelle |
1999 |
Алексеев А. Г., Быстровв А. В., Куртов С. А., Мыльников С. П., Непомнящий В. А., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. |
|
|
|
Известия Академии наук. Теория и системы управления |
10.03.2000 |
|
М |
Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри |
1998 |
Непомнящий В. А., Алексеев Г. И., Быстров А. В., Куртов С. А., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. |
|
- Непомнящий В. А.
- Шилов Н. В.
|
ИСИ СО РАН |
|
04.11.1998 |
