Fault Proof: Using Formal Techniques for Safety Verification and Fault Analysis

Author(s):
Adrian Traskov,Thorsten Ehrenberg, Sacha Loitz, Abdelouahab Ayari, Avidan Efody, and Joseph Hupcey III
Location:
Europe
Year:
2016
Type:
Paper
Format:
pdf