|
СТ |
Верификация телекоммуникационных систем, специфицированных взаимодействую ими конечными автоматами, с помо ью раскрашенных сетей Петри |
2011 |
Белоглазов Д. М., Машуков М. Ю., Непомнящий В. А. |
|
|
|
Моделирование и анализ информационных систем |
13.02.2012 |
|
П |
Моделирование спецификаций языка SDL с помо ью раскрашенных сетей Петри |
2007 |
Машуков М. Ю., Чурина Т. Г. |
|
|
ИСИ СО РАН |
|
19.10.2007 |
|
СТ |
Программный комплекс SPV для симуляции, анализы и верификации SDL спецификаций коммуникационных протоколов |
2005 |
Непомнящий В. А., Алексеев Г. И., Аргиров В. С., Белоглазоы Д. М., Бфстров А. В., Машуков М. Ю., Москвин С. О., Мыльников С. П., Новиков Р. М., Семенов И. А., Четвертаков Е. А., Чурина Т. Г. |
|
|
|
Методы и средства обработки информации |
11.01.2006 |
|
СТ |
Трансляция SDL-спецификаций распределенных систем в раскрашенные сети Йенсена |
2005 |
Машуков М. Ю. |
|
|
НГУ, Microsoft Corporation |
Технологии Microsoft в информатике и программировании |
26.02.2005 |
|
СТ |
Трансляция SDL-спецификаций распределенных систем в раскрашенные сети Йенсена |
2005 |
Машуков М. Ю. |
|
|
НГУ, Microsoft Corporation |
Технологии Microsoft в информатике и программировании |
25.02.2005 |
