|
СТ |
Программный комплекс SPV для симуляции, анализы и верификации SDL спецификаций коммуникационных протоколов |
2005 |
Непомнящий В. А., Алексеев Г. И., Аргиров В. С., Белоглазоы Д. М., Бфстров А. В., Машуков М. Ю., Москвин С. О., Мыльников С. П., Новиков Р. М., Семенов И. А., Четвертаков Е. А., Чурина Т. Г. |
|
|
|
Методы и средства обработки информации |
11.01.2006 |
|
СТ |
Верификация коммуникационных протоколов, представленных на языке Estelle, с помо ью сетей Петри высокого уровня |
2001 |
Непомнящий В. А., Алексеев Г. И., Быстров А. В., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. |
|
|
|
Программирование |
19.06.2001 |
|
М |
Верификация 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 |
