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