title: From Formal Specification in Event-B to Probabilistic Reliability Assessment  
creator: Tarasyuk, Anton
creator: Troubitsyna, Elena
creator: Laibinis, Linas
subject: Event-B
subject: Methodology
type: Conference or Workshop Item
type: PeerReviewed
identifier:   Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas   From Formal Specification in Event-B to Probabilistic Reliability Assessment.  In: DEPEND 2010, Venice.     
relation: http://deploy-eprints.ecs.soton.ac.uk/326/

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