2013

  • Towards Formal Approaches to System Resilience [pdf]
    Vishal Chandra Sharma, Arvind Haran, Zvonimir Rakamaric, Ganesh Gopalakrishnan. 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2013), Vancouver, Canada.