TY JOUR TI Терминологические особенности этапов разработки и доказательства безопасности железнодорожной автоматики и телемеханики KW технология и безопасность железнодорожной автоматики и телемеханики KW жизненный цикл KW разработка и доказательство безопасности KW безопасность функционирования KW функциональная безопасность KW технологическая функция KW технология ЖАТ KW безопасное поведение KW технологическая безопасность JO Автоматика на транспорте AU МАРКОВ, Д.. AU НАСЕДКИН, О.. AU ВАСИЛЬЕВ, Д.. AU БУТУЗОВ, М.. PY 2017 IS 3 PB ФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I"