TY JOUR TI ПРИНЦИПЫ СОГЛАСОВАНИЯ ЗАДАЧ ПРИ ПРОВЕДЕНИИ ДИАГНОСТИКИ АВТОМАТИЗИРОВАННЫХ СИСТЕМ УПРАВЛЕНИЯ ПОЖАРНОЙ ОХРАНЫ KW автоматизированная система управления KW верификация KW синтез KW системный подход KW структуризация JO Научно-аналитический журнал "Вестник Санкт-Петербургского университета ГПС МЧС России" AU Пророк, В.Я. AU Смирнов, А.С. PY 2013 IS 2013 PB Санкт-Петербургский университет Государственной противопожарной службы Министерства Российской Федерации по делам гражданской обороны, чрезвычайным ситуациям и ликвидации последствий стихийных бедствий имени Героя Российской Федерации генерала армии Е.Н. Зиничева