|
СТ |
Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помо ью сетей Петри высокого уровня |
2008 |
Непомнящий В. А., Аргиров В. С., Беломазов Д. М., Быстров А. В., Чурина Т. Г., Четвертаков Е. А. |
|
|
|
Программирование |
27.01.2009 |
|
СТ |
Программный комплекс SPV для симуляции, анализы и верификации SDL спецификаций коммуникационных протоколов |
2005 |
Непомнящий В. А., Алексеев Г. И., Аргиров В. С., Белоглазоы Д. М., Бфстров А. В., Машуков М. Ю., Москвин С. О., Мыльников С. П., Новиков Р. М., Семенов И. А., Четвертаков Е. А., Чурина Т. Г. |
|
|
|
Методы и средства обработки информации |
11.01.2006 |
|
П |
Моделирование спецификаций языка SDL с помощью модифицированных ИВТ-сетей |
2005 |
Чурина Т. Г., Аргиров В. С. |
|
|
ИСИ СО РАН |
|
01.12.2005 |
|
СТ |
Трансляция SDL-спецификаций в модифицированные раскрашенные сети Петри |
2003 |
Аргиров В. С. |
|
|
|
Труды школы-конкурса молодых ученых "Теоретические и прикладные задачи информатики: новые подходы и решения" |
31.01.2004 |
|
СТ |
Трансляция SDL-спецификаций в модифицированные раскрашенные сети Петри |
2003 |
Аргиров В. С. |
|
|
|
Труды школы-конкурса молодых ученых "Теоретические и прикладные задачи информатики: новые подходы и решения" |
30.01.2004 |
