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