Project

General

Profile

Publications » History » Version 11

Denis Buzdalov, 02/04/2019 11:07 AM

1 5 Denis Buzdalov
h1. Publications
2 1 Denis Buzdalov
3 8 Denis Buzdalov
h2. 2019
4
5
h3. Papers
6
7
* Д.В. Буздалов, А.К. Петренко, А.В. Хорошилов.
8 11 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 11 Denis Buzdalov
  _О представлении модельного времени при помощи механизмов функционального программирования._
18 10 Denis Buzdalov
  Труды ИСП РАН, том 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 11 Denis Buzdalov
  _Использование марковского анализа для оценки отказобезопасности программно-аппаратных комплексов._
27 3 Denis Buzdalov
  Ломоносовские чтения 2018 ф-т ВМК МГУ. — Макс-Пресс, 2018. — С. 119–120.
28
29 7 Denis Buzdalov
  attachment:"2018 - Зеленов, Карнов, Хорошилов - Использование марковского анализа для оценки отказобезопасности программно-аппаратных комплексов.pdf"
30
31 3 Denis Buzdalov
* С.В.Зеленов, Д.В.Буздалов, А.А.Угненко, А.В.Хорошилов.
32 11 Denis Buzdalov
  _Анализ видов и последствий отказов на основе архитектурных моделей программно-аппаратных систем._
33 3 Denis Buzdalov
  Тезисы доклада на 3-й всероссийской научно-технической конференции «Моделирование авиационных систем». 21-22 ноября 2018 года, г. Москва.
34
35 6 Denis Buzdalov
  attachment:"2018 - Зеленов и др - Анализ видов и последствий отказов на основе архитектурных моделей программно-аппаратных систем.pdf"
36
37 3 Denis Buzdalov
* С.Л.Лесовой, А.В.Хорошилов.
38 11 Denis Buzdalov
  _Автоматизация извлечения архитектурной модели ARINC-653 совместимого функционального ПО._
39 3 Denis Buzdalov
  Тезисы доклада на 3-й всероссийской научно-технической конференции «Моделирование авиационных систем». 21-22 ноября 2018 года, г. Москва.
40
41
  attachment:"2018 - Лесовой, Хорошилов - Автоматизация извлечения архитектурной модели ARINC-653 совместимого функционального ПО.pdf"