title: Formal Engineering of Resilient Systems: Achievements and Challenges
creator: Troubitsyna, Elena
creator: Romanovsky, Alexander
subject: Event-B
subject: Resilience
description: In this paper we overview the work on formal engineering of resilient systems carried out in the FP7 EU DEPLOY project. We discuss our experience and open issues.
date: 2012
type: Conference or Workshop Item
type: PeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/393/1/FastAbstract-TR-dsn2012.pdf
identifier:   Troubitsyna, Elena and Romanovsky, Alexander  (2012) Formal Engineering of Resilient Systems: Achievements and Challenges.  In: The 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012). Fast Abstract Track , Boston, USA.     
relation: http://deploy-eprints.ecs.soton.ac.uk/393/