A Mutually-Exclusive Deployment of Formal and Simulation Techniques Using Proof-Core Analysis

Author(s):
Keerthikumara Devarajegowda, Jeroen Vliegen, Goran Petrovity, and Kawe Fotouhi
Location:
Europe
Year:
2017
Type:
Presentation
Format:
pdf