34912

Автор(ы): 

Автор(ов): 

2

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

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

Тезисы доклада

Название: 

О верификации программного обеспечения систем контроля и управления электроснабжением

Электронная публикация: 

Да

ISBN/ISSN: 

978-5-905675-71-3

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

  • 15-я Международная конференция «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2015, Москва)

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

  • Тезисы 15-ой международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2015, Москва)

Город: 

  • Москва

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

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

Год издания: 

2015

Страницы: 

201-202
Аннотация
В докладе проведен анализ методов верификации ПО и рассмотрены основные аспекты, возникающие при верификации ПО СКУ ЭЧ

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

Высотин О.В., Петухов В.В. О верификации программного обеспечения систем контроля и управления электроснабжением / Тезисы 15-ой международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2015, Москва). М.: Институт проблем управления им. В.А. Трапезникова РАН, 2015. С. 201-202.