Industrial deployment of system engineering methods providing high dependability and productivity


Methods, Models and Tools for Fault Tolerance

Butler, Michael and Jones, Cliff B and Romanovsky, Alexander and Troubitsyna, Elena (2009) Methods, Models and Tools for Fault Tolerance. LNCS, 5454 . Springer.

Full text not available from this repository.

Official URL:

Item Type:Book
Subjects:Industrial Deployment > Other
Industrial Deployment > Pervasive telecoms
Methodology > Composition and reuse
Methodology > Refinement
Methodology > Resilience
Methodology > Proof and model checking
Methodology > Requirements and evolution
ID Code:89
Deposited By:Prof A Romanovsky
Deposited On:01 Apr 2009 17:20
Last Modified:03 Apr 2009 09:47

Repository Staff Only: item control page

Deploy-Project - All right reserved