Biblio

Found 1 results
Filters: Author is Meng, Yu  [Clear All Filters]
2018
Fan C, Meng Y, Maier U, Bartocci E, Mitra S, Schmid U.  2018.  Verifying nonlinear analog and mixed-signal circuits with inputs. IFAC Conference on Analysis and Design of Hybrid Systems, (ADHS).