|
СТ |
Программный комплекс SPV для симуляции, анализы и верификации SDL спецификаций коммуникационных протоколов |
2005 |
Непомнящий В. А., Алексеев Г. И., Аргиров В. С., Белоглазоы Д. М., Бфстров А. В., Машуков М. Ю., Москвин С. О., Мыльников С. П., Новиков Р. М., Семенов И. А., Четвертаков Е. А., Чурина Т. Г. |
|
|
|
Методы и средства обработки информации |
11.01.2006 |
|
СТ |
Верификация коммуникационных протоколов, представленных на языке Estelle, с помо ью сетей Петри высокого уровня |
2001 |
Непомнящий В. А., Алексеев Г. И., Быстров А. В., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. |
|
|
|
Программирование |
19.06.2001 |
|
СТ |
Верификация коммуникационных протоколов, представленных на языках Estelle и SDL |
2000 |
Непомнящий В. А., Алексеев А. Г., Быстров А. В., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. |
|
|
|
Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II |
22.07.2000 |
|
СТ |
Использование сетей Петри для верификации распределенных систем, представленных на языке Estelle |
1999 |
Алексеев А. Г., Быстровв А. В., Куртов С. А., Мыльников С. П., Непомнящий В. А., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. |
|
|
|
Известия Академии наук. Теория и системы управления |
10.03.2000 |
|
М |
Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри |
1998 |
Непомнящий В. А., Алексеев Г. И., Быстров А. В., Куртов С. А., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. |
|
- Непомнящий В. А.
- Шилов Н. В.
|
ИСИ СО РАН |
|
04.11.1998 |
|
СТ |
Реализация системы проектирования сетевых моделей в MS-Windows |
1993 |
Алексеев Г. И., Быстров А. В., Мыльников С. П., Чурина Т. Г. |
|
|
|
Проблемы теоретического и экспериментального программирования: Сборник научных трудов |
10.05.1995 |
|
СТ |
ПОЛЯР-88 - современная система программирования об его назначения |
1991 |
Алексеев Г. И., Креккер Г. М., Лельчук Т. И., Марчук А. Г., Мыльников С. П. |
|
|
|
Программирование |
05.01.1993 |
|
СТ |
Интерактивная система поддержки проектирования архитектуры и программного обеспечения ЭВМ нового поколения |
1986 |
Алексеев Г. И., Лельчук Т. И., Марчук А. Г., Мыльников С. П. |
|
|
|
Материалы VIII школы-семинара "Персональные компьютеры и локальные сети" |
12.12.1992 |
|
СТ |
Итерактивная система поддержки проектирования архитектуры и программного обеспечения ЭВМ нового поколения |
1986 |
Алексеев Г. И., Лельчук Т. И., Марчук А. Г., Мыльников С. П. |
|
|
|
Материалы VIII школы-семинара "Персональные компьютеры и локальные сети" |
11.12.1992 |
