Fault Injection Made Easy Unified Formal Verification of Normal and Safety Functions

Author(s):
Sergio Marchese, Jörg Grosse, Ashish Darbari
Location:
India
Year:
2017
Type:
Presentation
Format:
pptx