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