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