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
