Вы здесь

Аргиров В. С.

Автор:

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