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: http://www.springer.com/computer/programming/book/978-3-642-00866-5


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