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