%0 Journal Article %T Организация автоматизированного контроля качества в жизненном цикле программных средств критически важных систем %A Марковский, А.С. %A Самонов, А.В. %A Бурова, И.О. %K верификация, жизненный цикл, контроль качества, критически важные системы, модель жизненного цикла, показатели качества программных средств, программные средства %J Интеллектуальные технологии на транспорте %D 2016 %N 0 %P 6 %I ФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I"