title: Formal development and assessment of a reconfigurable on-board satellite system
creator: Tarasyuk, Anton
creator: Pereverzeva, Inna
creator: Troubitsyna, Elena
creator: Latvala, Timo
creator: Nummila, Laura
subject: Refinement
subject: Space
subject: Proof and model checking
subject: Resilience
subject: Event-B Examples
subject: Event-B Theory
date: 2012
type: Conference or Workshop Item
type: PeerReviewed
identifier:   Tarasyuk, Anton and Pereverzeva, Inna and Troubitsyna, Elena and Latvala, Timo and Nummila, Laura  (2012) Formal development and assessment of a reconfigurable on-board satellite system.  In: The 31th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2012), Magdeburg, Germany.    (In Press)  
relation: http://deploy-eprints.ecs.soton.ac.uk/411/

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