%0 Journal Article
%T АКСИОМАТИКО-БАЗИСНЫЙ ПОДХОД ДЛЯ РАЗРАБОТКИ БЕЗОПАСНЫХ И ОТКАЗОУСТОЙЧИВЫХ СИСТЕМ
%A СИВКО, Б..
%K отказоустойчивость, доказательство безопасности, формальные методы, формализация, диверситет, обнаружение отказов
%J Автоматика на транспорте
%D 2015
%N 1
%P 18
%I ФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I"