Automated Generation of Hybrid System Models for Reachability Analysis of Nonlinear Analog Circuits

Titel:: Automated Generation of Hybrid System Models for Reachability Analysis of Nonlinear Analog Circuits
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Lee, H.-S. L.; Althoff, M.; Hoelldampf, S.; Olbrich, M.; Barke, E.
Seitenangaben Beitrag:: 725-730
Kongress- / Buchtitel:: Proc. of the 20th Asia and South Pacific Design Automation Conference
Jahr:: 2015
Volltext / DOI:: doi:10.1109/ASPDAC.2015.7059096
BibTeX

Vorkommen: