Иванов Сергей Ростиславович, к.т.н.
Тип публикации | Авторы | Заглавие | Издание, год, номер, страницы |
---|---|---|---|
Статья в журнале |
Буренков В. С. МГТУ
Иванов Сергей Ростиславович МГТУ |
Метод построения абстрактных моделей, используемых для верификации протоколов когерентности кэш-памяти масштабируемых систем |
Вестник МГТУ им.Н.Э.Баумана. Серия "Приборостроение"
2017
.-
№ 1
.-
С.
49 - 66
|
Статья в журнале |
Буренков В. С. МГТУ
Иванов Сергей Ростиславович МГТУ |
Проблемы параметризованной верификации протоколов когерентности памяти |
Инженерный журнал: наука и инновации
2013
.-
№ 11(23)
|
Статья в журнале |
Иванов Сергей Ростиславович МГТУ
|
Памяти И. П. Норенкова, первого Главного редактора журнала "Информационные технологии" |
Информационные технологии. Приложение
2013
.-
№ 12
.-
С.
3 - 5
|
Статья в журнале |
Буренков Владимир Сергеевич МГТУ
Иванов Сергей Ростиславович МГТУ Савельев Александр Яковлевич МГТУ |
Проблемы формальной верификации технических систем |
Наука и образование: научное издание МГТУ им. Н.Э. Баумана
2012
.-
№ 4
|