Rigorous development of dependable systems using fault tolerance views /
Lopatkin, Ilya.
Iliasov, Alexei.
Romanovsky, Alexander,1954-
University of Newcastle upon Tyne.School of Computing Science.
Newcastle-upon-Tyne : Computing Science, Newcastle University,
c2011.
Caption title.
"January 2011."