Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits
- Hyun Sek Lukas Lee
- , Matthias Althoff
- , Stefan Hoelldampf
- , Markus Olbrich
- , Erich Barke
Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
19
Zitate
(Scopus)