![](/img/cover-not-exists.png)
[IEEE 2015 20th Asia and South Pacific Design Automation Conference (ASP-DAC) - Chiba, Japan (2015.1.19-2015.1.22)] The 20th Asia and South Pacific Design Automation Conference - Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits
Lee, Hyun-Sek Lukas, Althoff, Matthias, Hoelldampf, Stefan, Olbrich, Markus, Barke, ErichYear:
2015
Language:
english
DOI:
10.1109/ASPDAC.2015.7059096
File:
PDF, 1.05 MB
english, 2015