TY  JOUR
TI  Разработка отказоустойчивых систем на основе диверситетных аксиоматических базисов
KW  отказоустойчивость
KW  доказательство безопасности
KW  диверситет
KW  формальные методы
KW  критические системы информационной инфраструктуры
KW  обнаружение отказов
JO  Автоматика на транспорте
AU  БОЧКОВ, К..
AU  ХАРЛАП, С..
AU  СИВКО, Б..
PY  2016
IS  2
PB  ФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I"