Project

General

Profile

Publications » History » Version 8

Denis Buzdalov, 01/15/2019 03:50 PM

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