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

 

Туркин, И. Б.
    Формальная верификация програмного обеспечения для автоматизации испытаний систем космических аппаратов [Текст] / И.Б. Туркин, Б.Б. Михнич // Інженерія програмного забезпечення : Науковий журнал / Національний авіаційний університет // Інженерія програмного забезпечення - Київ : Національний авіаційний університет. — С. 15-23.


- Ключові слова:

забезпечення програмне, обеспечение программное, software ; апарат космічний, аппарат космический (КА), spacecraft ; випробування стендове, испытание стендовое, bench test

- Анотація:

Рассматриваются особенности применения технологии Windows Workflow Foundation при разработке программного обеспечения для автоматизации стендовых испытаний подсистем космических аппаратов.

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

- Теми документа

  • ББК науковий // Испытательные стенды для проверки космических аппаратов
  • ББК науковий // Системное программирование. Операционные системы. Программное обеспечение компьютерных сетей



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