Rigorous Development of Dependable Systems Using Fault Tolerance Views.

Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky

Browse the full ISSRE paper archive.