creators_name: Butler, Michael
creators_name: Jones, Cliff B
creators_name: Romanovsky, Alexander
creators_name: Troubitsyna, Elena
creators_id: Cliff.Jones@ncl.ac.uk
creators_id: alexander.romanovsky@ncl.ac.uk
creators_id: Elena.Troubitsyna@abo.fi
type: book
datestamp: 2009-04-01 16:20:41
lastmod: 2009-04-03 08:47:51
metadata_visibility: show
title: Methods, Models and Tools for Fault Tolerance
ispublished: pub
subjects: deploy_industrial_other
subjects: deploy_industrial_pervtel
subjects: deploy_method_comp
subjects: Refinement
subjects: deploy_method_resil
subjects: deploy_method_proof
subjects: deploy_method_reqevo
full_text_status: none
date: 2009
date_type: published
series: LNCS
volume: 5454
publisher: Springer
pages: 341
refereed: TRUE
official_url: http://www.springer.com/computer/programming/book/978-3-642-00866-5
related_url_url: http://www.springer.com/computer/programming/book/978-3-642-00866-5
related_url_type: pub
citation:   Butler, Michael and Jones, Cliff B and Romanovsky, Alexander and Troubitsyna, Elena  (2009) Methods, Models and Tools for Fault Tolerance.    LNCS, 5454 .  Springer.