@article{БОЧКОВ2016разработка,
author={БОЧКОВ, К.. and ХАРЛАП, С.. and СИВКО, Б..},
title={Разработка отказоустойчивых систем на основе диверситетных аксиоматических базисов},
journal={Автоматика на транспорте},
publisher={ФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I"},
year={2016},
pages={47-64},
volume={2},
issue={1},
}