@inproceedings{deploy393,
       booktitle = {The 42nd Annual IEEE/IFIP International Conference on  Dependable Systems and Networks (DSN 2012). Fast Abstract Track },
           title = {Formal Engineering of Resilient Systems: Achievements and Challenges},
          author = {Elena Troubitsyna and Alexander Romanovsky},
            year = {2012},
             url = {http://deploy-eprints.ecs.soton.ac.uk/393/},
        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.}
}

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