title: Methods, Models and Tools for Fault Tolerance
creator: Butler, Michael
creator: Jones, Cliff B
creator: Romanovsky, Alexander
creator: Troubitsyna, Elena
subject: Other
subject: Pervasive telecoms
subject: Composition and reuse
subject: Refinement
subject: Resilience
subject: Proof and model checking
subject: Requirements and evolution
publisher: Springer
date: 2009
type: Book
type: PeerReviewed
relation: http://www.springer.com/computer/programming/book/978-3-642-00866-5
identifier:   Butler, Michael and Jones, Cliff B and Romanovsky, Alexander and Troubitsyna, Elena  (2009) Methods, Models and Tools for Fault Tolerance.    LNCS, 5454 .  Springer.      
relation: http://deploy-eprints.ecs.soton.ac.uk/89/