creators_name: Tarasyuk, Anton
creators_name: Troubitsyna, Elena
creators_name: Laibinis, Linas
creators_id: Anton.Tarasyuk@abo.fi
creators_id: Elena.Troubitsyna@abo.fi
creators_id: Linas.Laibinis@abo.fi
editors_name: Sere, Kaisa
editors_name: Petre, Luigia
editors_name: Troubitsyna, Elena
editors_id: Kaisa.Sere@abo.fi
editors_id: Luigia.Petre@abo.fi
editors_id: Elena.Troubitsyna@abo.fi
type: book_section
datestamp: 2011-09-04 11:57:36
lastmod: 2011-09-04 11:57:36
metadata_visibility: show
title: Quantitative Reasoning about Dependability in Event-B: Probabilistic Model Checking Approach

ispublished: pub
subjects: Event-Bsemantics
subjects: deploy_method
full_text_status: none
date: 2011
date_type: published
publisher: IGI GLobal
refereed: TRUE
book_title: Dependability and Computer Engineering: Concepts for Software-Intensive Systems 
citation:   Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas  (2011) Quantitative Reasoning about Dependability in Event-B: Probabilistic Model Checking Approach.   In:  Dependability and Computer Engineering: Concepts for Software-Intensive Systems.   IGI GLobal.      

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>