TY JOUR TI Организация автоматизированного контроля качества в жизненном цикле программных средств критически важных систем KW верификация KW жизненный цикл KW контроль качества KW критически важные системы KW модель жизненного цикла KW показатели качества программных средств KW программные средства JO Интеллектуальные технологии на транспорте AU Марковский, А.С. AU Самонов, А.В. AU Бурова, И.О. PY 2016 IS 0 PB ФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I"