creators_name: Prokhorova, Yuliya
creators_name: Troubitsyna, Elena
creators_name: Laibinis, Linas
creators_name: Varpaaniemi, Kimmo
creators_name: Latvala, Timo
creators_id: Yuliya.Prokhorova@abo.fi
creators_id: Elena.Troubitsyna@abo.fi
creators_id: Linas.Laibinis@abo.fi
type: conference_item
datestamp: 2012-06-29 07:54:30
lastmod: 2012-06-29 07:54:30
metadata_visibility: show
title: Deriving Mode Logic for Fault-Tolerant Control Systems
ispublished: pub
subjects: Event-Bsemantics
subjects: Refinement
subjects: deploy_industrial_space
subjects: deploy_method
subjects: deploy_method_resil
full_text_status: none
pres_type: paper
date: 2011
date_type: published
pagerange: 309-322
event_title: NODES Workshop (associated with the 5th IFIP International Conference on Trust Management (IFIPTM 2011))
event_location: Copenhagen, Denmark
event_type: workshop
refereed: TRUE
citation:   Prokhorova, Yuliya and Troubitsyna, Elena and Laibinis, Linas and Varpaaniemi, Kimmo and Latvala, Timo  (2011) Deriving Mode Logic for Fault-Tolerant Control Systems.  In: NODES Workshop (associated with the 5th IFIP International Conference on Trust Management (IFIPTM 2011)), Copenhagen, Denmark.     

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