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