From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems.

Drishti Yadav

Browse the full ISSTA paper archive.