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.
|Title:||Towards a Formal Framework for Reasoning about the Resilience of Dynamic Interactive Systems|
|Event:||13th European Workshop on Dependable Computing|
|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