Publications » History » Version 10
Denis Buzdalov, 02/04/2019 11:06 AM
| 1 | 5 | Denis Buzdalov | h1. Publications |
|---|---|---|---|
| 2 | 1 | Denis Buzdalov | |
| 3 | 8 | Denis Buzdalov | h2. 2019 |
| 4 | |||
| 5 | h3. Papers |
||
| 6 | |||
| 7 | * Д.В. Буздалов, А.К. Петренко, А.В. Хорошилов. |
||
| 8 | 10 | Denis Buzdalov | «О представлении модельного времени при помощи механизмов функционального программирования (расширенная версия)». |
| 9 | 8 | Denis Buzdalov | |
| 10 | attachment:"2019 - Буздалов, Петренко, Хорошилов - О представлении модельного времени... - расширенная.pdf" |
||
| 11 | |||
| 12 | 1 | Denis Buzdalov | h2. 2018 |
| 13 | 5 | Denis Buzdalov | |
| 14 | 1 | Denis Buzdalov | h3. Papers |
| 15 | |||
| 16 | 10 | Denis Buzdalov | * Буздалов Д.В., Петренко А.К., Хорошилов А.В. |
| 17 | О представлении модельного времени при помощи механизмов функционального программирования. |
||
| 18 | Труды ИСП РАН, том 30, вып. 6, 2018 г., стр. 341-366. |
||
| 19 | DOI: 10.15514/ISPRAS-2018-30(6)-20 |
||
| 20 | |||
| 21 | http://www.ispras.ru/proceedings/isp_30_2018_6/isp_30_2018_6_341/ |
||
| 22 | 3 | Denis Buzdalov | |
| 23 | 5 | Denis Buzdalov | h3. Slides of related talks |
| 24 | 3 | Denis Buzdalov | |
| 25 | * Зеленов С.В., Карнов А.А., Хорошилов А.В. |
||
| 26 | «Использование марковского анализа для оценки отказобезопасности программно-аппаратных комплексов». |
||
| 27 | Ломоносовские чтения 2018 ф-т ВМК МГУ. — Макс-Пресс, 2018. — С. 119–120. |
||
| 28 | |||
| 29 | 7 | Denis Buzdalov | attachment:"2018 - Зеленов, Карнов, Хорошилов - Использование марковского анализа для оценки отказобезопасности программно-аппаратных комплексов.pdf" |
| 30 | |||
| 31 | 3 | Denis Buzdalov | * С.В.Зеленов, Д.В.Буздалов, А.А.Угненко, А.В.Хорошилов. |
| 32 | «Анализ видов и последствий отказов на основе архитектурных моделей программно-аппаратных систем». |
||
| 33 | Тезисы доклада на 3-й всероссийской научно-технической конференции «Моделирование авиационных систем». 21-22 ноября 2018 года, г. Москва. |
||
| 34 | |||
| 35 | 6 | Denis Buzdalov | attachment:"2018 - Зеленов и др - Анализ видов и последствий отказов на основе архитектурных моделей программно-аппаратных систем.pdf" |
| 36 | |||
| 37 | 3 | Denis Buzdalov | * С.Л.Лесовой, А.В.Хорошилов. |
| 38 | «Автоматизация извлечения архитектурной модели ARINC-653 совместимого функционального ПО». |
||
| 39 | Тезисы доклада на 3-й всероссийской научно-технической конференции «Моделирование авиационных систем». 21-22 ноября 2018 года, г. Москва. |
||
| 40 | |||
| 41 | attachment:"2018 - Лесовой, Хорошилов - Автоматизация извлечения архитектурной модели ARINC-653 совместимого функционального ПО.pdf" |