Зведений каталог бібліотек Києва

 

Зеленков, А. А.
    Математические модели надежности программного обеспечения цифровых систем управления [Текст] / А.А. Зеленков, А.А. Бунчук // Матеріали V Міжнародної науково-технічної конференції "АВІА-2003", 23-25 квітня 2003 року. Аерокосмічні системи моніторингу та керування. Секції: 23.24. / Національний авіаційний університет. — Київ, 2003. — С. 106-109.


- Анотація:

Ставится задача оценки надежности программного обеспечения бортовых отказоустойчивых вычислительных систем на различных этапах жизненного цикла. Предлогаються различные модели надежности, учитывающие "внутренние" характеристики программного модуля, результаты тестового контроля, а также различные вероятностные характеристики просесса выполнения программы.

- Є складовою частиною документа:

Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного авіаційного університету   Перейти на сайт