Иванов Сергей Ростиславович, к.т.н.

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