"393","Formal Engineering of Resilient Systems: Achievements and Challenges","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.","http://deploy-eprints.ecs.soton.ac.uk/393/","Troubitsyna, Elena and Romanovsky, Alexander","UNSPECIFIED","       <span class=\"person_name\">Troubitsyna, Elena</span> and <span class=\"person_name\">Romanovsky, Alexander</span>     (2012)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/393/\"><em>Formal Engineering of Resilient Systems: Achievements and Challenges.</em></a>       In: The 42nd Annual IEEE/IFIP International Conference on  Dependable Systems and Networks (DSN 2012). Fast Abstract Track , Boston, USA.           ","Elena.Troubitsyna@abo.fi,alexander.romanovsky@ncl.ac.uk","2012"