%0 Journal Article
%T Axiomatic-based approach for development of trustworthy and fault-tolerant systems
%A Sivko, B..
%K fault tolerance, safety proof, formal methods, formalization, diversity, failure detection
%J Transport automation research
%D 2015
%N 1
%P 18
%I FSBEI HE &quot;Emperor Alexander I St. Petersburg State Transport University&quot;