Project

General

Profile

Publications » History » Version 4

Denis Buzdalov, 01/14/2019 11:49 AM

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