Publications » History » Version 5
Denis Buzdalov, 01/14/2019 11:49 AM
| 1 | 5 | Denis Buzdalov | h1. Publications |
|---|---|---|---|
| 2 | 1 | Denis Buzdalov | |
| 3 | 5 | Denis Buzdalov | h2. 2018 |
| 4 | 1 | Denis Buzdalov | |
| 5 | 5 | Denis Buzdalov | h3. Papers |
| 6 | |||
| 7 | 3 | Denis Buzdalov | <To be filled> |
| 8 | |||
| 9 | 5 | Denis Buzdalov | h3. Slides of related talks |
| 10 | 3 | Denis Buzdalov | |
| 11 | * Зеленов С.В., Карнов А.А., Хорошилов А.В. |
||
| 12 | «Использование марковского анализа для оценки отказобезопасности программно-аппаратных комплексов». |
||
| 13 | Ломоносовские чтения 2018 ф-т ВМК МГУ. — Макс-Пресс, 2018. — С. 119–120. |
||
| 14 | |||
| 15 | * С.В.Зеленов, Д.В.Буздалов, А.А.Угненко, А.В.Хорошилов. |
||
| 16 | «Анализ видов и последствий отказов на основе архитектурных моделей программно-аппаратных систем». |
||
| 17 | Тезисы доклада на 3-й всероссийской научно-технической конференции «Моделирование авиационных систем». 21-22 ноября 2018 года, г. Москва. |
||
| 18 | |||
| 19 | * С.Л.Лесовой, А.В.Хорошилов. |
||
| 20 | «Автоматизация извлечения архитектурной модели ARINC-653 совместимого функционального ПО». |
||
| 21 | Тезисы доклада на 3-й всероссийской научно-технической конференции «Моделирование авиационных систем». 21-22 ноября 2018 года, г. Москва. |
||
| 22 | |||
| 23 | attachment:"2018 - Лесовой, Хорошилов - Автоматизация извлечения архитектурной модели ARINC-653 совместимого функционального ПО.pdf" |