%0 Journal Article %T ПРИНЦИПЫ СОГЛАСОВАНИЯ ЗАДАЧ ПРИ ПРОВЕДЕНИИ ДИАГНОСТИКИ АВТОМАТИЗИРОВАННЫХ СИСТЕМ УПРАВЛЕНИЯ ПОЖАРНОЙ ОХРАНЫ %A Пророк, В.Я. %A Смирнов, А.С. %K автоматизированная система управления, верификация, синтез, системный подход, структуризация %J Научно-аналитический журнал "Вестник Санкт-Петербургского университета ГПС МЧС России" %D 2013 %N 2013 %P 3 %I Санкт-Петербургский университет Государственной противопожарной службы Министерства Российской Федерации по делам гражданской обороны, чрезвычайным ситуациям и ликвидации последствий стихийных бедствий имени Героя Российской Федерации генерала армии Е.Н. Зиничева