19804

Автор(ы): 

Жарко Е. Ф. (ИПУ РАН, Лаборатория 31)

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Проведение верификации программного обеспечения для объектов повышенного риска эксплуатации

ISBN/ISSN: 

978-5-91450-115-7

Наименование конференции: 

  • 6-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD-2012, Москва)

Наименование источника: 

  • Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва)

Обозначение и номер тома: 

Т. 2

Город: 

  • Москва

Издательство: 

  • Институт проблем управления РАН

Год издания: 

2012

Страницы: 

252-254
Аннотация
В докладе рассматриваются аспекты проведения верификации программного обеспечения в аспекте жизненного цикла безопасности системы

Библиографическая ссылка: 

Жарко Е.Ф. Проведение верификации программного обеспечения для объектов повышенного риска эксплуатации / Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: Институт проблем управления РАН, 2012. Т. 2. С. 252-254.