Towards Formal Approaches to System Resilience.

Vishal Chandra Sharma, Arvind Haran, Zvonimir Rakamaric, Ganesh Gopalakrishnan

Browse the full PRDC paper archive.