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.
|
PDF
74Kb |
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.
| Item Type: | Conference or Workshop Item (Other) |
|---|---|
| Subjects: | Event-B Methodology > Resilience |
| ID Code: | 393 |
| Deposited By: | Prof A Romanovsky |
| Deposited On: | 01 May 2012 12:49 |
| Last Modified: | 26 Jul 2012 15:12 |
Repository Staff Only: item control page
