Biblio

Found 1 results
Filters: Author is Frehse, Goran  [Clear All Filters]
2015
Fan C, Duggirala PSridhar, Mitra S, Viswanathan M.  2015.  Progress on Powertrain Verification Challenge with C2E2. International Workshop on Applied Verification for Continuous and Hybrid Systems, (ARCH). :207–212.