TY  JOUR
TI  Design of axiomatic based fault-tolerant systems
KW  fault tolerance
KW  safety proof
KW  diversity
KW  formal methods
KW  critical systems of data infrastructure
KW  failure detection
JO  Transport automation research
AU  Bochkov, K..
AU  Kharlap, S..
AU  Sivko, B..
PY  2016
IS  2
PB  FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"