Treffer: From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems
Title:
From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems
Authors:
Source:
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. :1896-1900
Availability:
Database:
ACM Full-Text Collection