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

Буренков В. С., Иванов С. Р.
   Метод построения абстрактных моделей, используемых для верификации протоколов когерентности кэш-памяти масштабируемых систем / Буренков В. С., Иванов С. Р. // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2017. - № 1. - С. 49-66.

Иванов С. Р.
   Памяти И. П. Норенкова, первого Главного редактора журнала "Информационные технологии" / Иванов С. Р. // Приложение к журналу "Информационные технологии". - 2013. - № 12. - С. 3-5.

Буренков В. С., Иванов С. Р.
   Проблемы формальной верификации технических систем / Буренков В. С., Иванов С. Р. // Современные компьютерные системы и технологии : юбилейный сборник трудов каф. "Компьютерные системы и сети" МГТУ им. Н. Э. Баумана / МГТУ им. Н. Э. Баумана. - М., 2012. - С. 45-53.

Буренков В. С., Иванов С. Р.
   Верификация технических систем методом проверки модели / Буренков В. С., Иванов С. Р. // Современные компьютерные системы и технологии : юбилейный сборник трудов каф. "Компьютерные системы и сети" МГТУ им. Н. Э. Баумана / МГТУ им. Н. Э. Баумана. - М., 2012. - С. 54-58.

Буренков В. С., Иванов С. Р.
   Проблемы метастабильности в цифровых устройствах / Буренков В. С., Иванов С. Р. // Современные информационные технологии : сборник трудов каф. ИУ-6 МГТУ им. Н. Э. Баумана / МГТУ им. Н. Э. Баумана. - М., 2011. - С. 39-43.

Огнев В. А., Иванов С. Р.
   Математическая модель приемовычислителя систем ГЛОНАСС/GPS / Огнев В. А., Иванов С. Р. // Информационные технологии. - 2009. - № 10. - С. 24-28.

Огнев В. А., Иванов С. Р.
   Методы повышения помехоустойчивости аппаратуры потребителей спутниковых навигационных систем / Огнев В. А., Иванов С. Р. // Информационные технологии. - 2009. - № 4. - С. 55-61.