title: Formal Development of Critical Multi-Agent Systems: A Refinement Approach
creator: Pereverzeva, Inna
creator: Troubitsyna, Elena
creator: Laibinis, Linas
subject: Refinement
subject: Proof and model checking
subject: Resilience
subject: Event-B Examples
date: 2012
type: Conference or Workshop Item
type: PeerReviewed
identifier:   Pereverzeva, Inna and Troubitsyna, Elena and Laibinis, Linas  (2012) Formal Development of Critical Multi-Agent Systems: A Refinement Approach.  In: 9th European Dependable Computing Conference – EDCC 2012, Sibiu, Romania.     
relation: http://deploy-eprints.ecs.soton.ac.uk/409/

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