%0 Journal Article
%T Design of axiomatic based fault-tolerant systems
%A Bochkov, K..
%A Kharlap, S..
%A Sivko, B..
%K fault tolerance, safety proof, diversity, formal methods, critical systems of data infrastructure, failure detection
%J Transport automation research
%D 2016
%N 2
%P 17
%I FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"