title: Deriving Mode Logic for Fault-Tolerant Control Systems
creator: Prokhorova, Yuliya
creator: Troubitsyna, Elena
creator: Laibinis, Linas
creator: Varpaaniemi, Kimmo
creator: Latvala, Timo
subject: Event-B
subject: Refinement
subject: Space
subject: Methodology
subject: Resilience
date: 2011
type: Conference or Workshop Item
type: PeerReviewed
identifier:   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.     
relation: http://deploy-eprints.ecs.soton.ac.uk/406/

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