%A Elena Troubitsyna
%A Alexander Romanovsky
%T Formal Engineering of Resilient Systems: Achievements and Challenges
%X 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.
%C Boston, USA
%D 2012
%L deploy393

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