Вы здесь

Новиков Р. М.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Программный комплекс SPV для симуляции, анализы и верификации SDL спецификаций коммуникационных протоколов 2005 Непомнящий В. А., Алексеев Г. И., Аргиров В. С., Белоглазоы Д. М., Бфстров А. В., Машуков М. Ю., Москвин С. О., Мыльников С. П., Новиков Р. М., Семенов И. А., Четвертаков Е. А., Чурина Т. Г. Методы и средства обработки информации 11.01.2006
П Верификация раскрашенных сетей Петри методом проверки моделей 2001 Козюра В. Е., Непомнящий В. А., Новиков Р. М. ИСИ СО РАН 22014 23.10.2001
СТ Использование метода проверки моделей для верификации коммуникационных протоколов, представленных раскрашенными сетями Петри 2000 Козюра В. Е., Новиков Р. М. Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II 21.07.2000