TY  JOUR
TI  Axiomatic-based approach for development of trustworthy and fault-tolerant systems
KW  fault tolerance
KW  safety proof
KW  formal methods
KW  formalization
KW  diversity
KW  failure detection
JO  Transport automation research
AU  Sivko, B..
PY  2015
IS  1
PB  FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"