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

Author(s):

Keerthikumara Devarajegowda, Jeroen Vliegen, Goran Petrovity, and Kawe Fotouhi

Type:

Presentation

Download