title: Quantitative Reasoning about Dependability in Event-B: Probabilistic Model Checking Approach  
creator: Tarasyuk, Anton
creator: Troubitsyna, Elena
creator: Laibinis, Linas
subject: Event-B
subject: Methodology
publisher: IGI GLobal
contributor: Sere, Kaisa
contributor: Petre, Luigia
contributor: Troubitsyna, Elena
date: 2011
type: Book Section
type: PeerReviewed
identifier:   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.      
relation: http://deploy-eprints.ecs.soton.ac.uk/328/

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