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
type: conference_item
datestamp: 2011-09-04 11:57:29
lastmod: 2011-09-04 11:57:29
metadata_visibility: show
title: Quantitative Verification of System Safety in Event-B

ispublished: inpress
subjects: Event-Bsemantics
subjects: deploy_method
full_text_status: none
pres_type: paper
date: 2011-09
date_type: published
event_title: SERENE 2011
event_type: workshop
refereed: TRUE
citation:   Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas  (2011) Quantitative Verification of System Safety in Event-B.  In: SERENE 2011.    (In Press)