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:15
lastmod: 2011-09-04 11:57:15
metadata_visibility: show
title: Augmenting Formal Development of Control Systems with Quantitative Reliability Assessment

ispublished: pub
subjects: Event-Bsemantics
subjects: deploy_method
full_text_status: none
pres_type: paper
date: 2010-04
date_type: published
event_title: SERENE 2010
event_location: London
event_type: workshop
refereed: TRUE
citation:   Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas  (2010) Augmenting Formal Development of Control Systems with Quantitative Reliability Assessment.  In: SERENE 2010, London.