Баранов Сергей Николаевич Россия, Санкт-Петербург Степень доктор физико-математических наук Звание Профессор Область научных интересов технология программирования формальные методы Место работы и должность Санкт-Петербургский институт информатики и автоматизации РАН — главный научный сотрудник Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики — профессор Адрес электронной почты SNBaranov@gmail.com
Баранов С.Н., Никифоров В.В. Плотность приложения и проверка выполнимости в системах реального времени // Системная информатика. — 2016. — № 7. — С. 1-10
