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:43
lastmod: 2011-09-04 11:57:43
metadata_visibility: show
title: From Formal Specification in Event-B to Probabilistic Reliability Assessment

ispublished: pub
subjects: Event-Bsemantics
subjects: deploy_method
full_text_status: none
pres_type: paper
date_type: published
event_title: DEPEND 2010
event_location: Venice
event_type: conference
refereed: TRUE
citation:   Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas   From Formal Specification in Event-B to Probabilistic Reliability Assessment.  In: DEPEND 2010, Venice.     

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