Masci, P and Curzon, P and Huang, H and Ruksenas, R and Blandford, AE and Furniss, D and Rajkomar, A (2011) Towards a Formal Framework for Reasoning about the Resilience of Dynamic Interactive Systems. In: (Proceedings) 13th European Workshop on Dependable Computing.
Full text not available from this repository.
| Type: | Proceedings paper |
|---|---|
| Title: | Towards a Formal Framework for Reasoning about the Resilience of Dynamic Interactive Systems |
| Event: | 13th European Workshop on Dependable Computing |
| DOI: | 10.1145/1978582.1978606 |
| UCL classification: | UCL > School of Life and Medical Sciences > Faculty of Brain Sciences > Psychology and Language Sciences (Division of) > UCL Interaction Centre UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record