Вы здесь

Машуков М. Ю.

Автор:

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