creators_name: Troubitsyna, Elena
creators_name: Romanovsky, Alexander
creators_id: Elena.Troubitsyna@abo.fi
creators_id: alexander.romanovsky@ncl.ac.uk
type: conference_item
datestamp: 2012-05-01 12:49:18
lastmod: 2012-07-26 15:12:58
metadata_visibility: show
title: Formal Engineering of Resilient Systems: Achievements and Challenges
ispublished: pub
subjects: Event-Bsemantics
subjects: deploy_method_resil
full_text_status: public
pres_type: other
abstract: 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
event_title: The 42nd Annual IEEE/IFIP International Conference on  Dependable Systems and Networks (DSN 2012). Fast Abstract Track 
event_location: Boston, USA
event_type: conference
refereed: TRUE
citation:   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.     
document_url: http://deploy-eprints.ecs.soton.ac.uk/393/1/FastAbstract-TR-dsn2012.pdf