Publications » History » Revision 4
Revision 3 (Denis Buzdalov, 01/14/2019 11:47 AM) → Revision 4/11 (Denis Buzdalov, 01/14/2019 11:49 AM)
h1. 2018 Publications h2. Papers <To be filled> h2. h1. Slides of related talks h2. 2018 * Зеленов С.В., Карнов А.А., Хорошилов А.В. «Использование марковского анализа для оценки отказобезопасности программно-аппаратных комплексов». Ломоносовские чтения 2018 ф-т ВМК МГУ. — Макс-Пресс, 2018. — С. 119–120. * С.В.Зеленов, Д.В.Буздалов, А.А.Угненко, А.В.Хорошилов. «Анализ видов и последствий отказов на основе архитектурных моделей программно-аппаратных систем». Тезисы доклада на 3-й всероссийской научно-технической конференции «Моделирование авиационных систем». 21-22 ноября 2018 года, г. Москва. * С.Л.Лесовой, А.В.Хорошилов. «Автоматизация извлечения архитектурной модели ARINC-653 совместимого функционального ПО». Тезисы доклада на 3-й всероссийской научно-технической конференции «Моделирование авиационных систем». 21-22 ноября 2018 года, г. Москва. attachment:"2018 - Лесовой, Хорошилов - Автоматизация извлечения архитектурной модели ARINC-653 совместимого функционального ПО.pdf"