Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hyun-Sek Lukas Lee, Matthias Althoff, Stefan Hoelldampf, Markus Olbrich, Erich Barke. Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits. In The 20th Asia and South Pacific Design Automation Conference, ASP-DAC 2015, Chiba, Japan, January 19-22, 2015. pages 725-730, IEEE, 2015. [doi]

This author has not been identified. Look up 'Hyun-Sek Lukas Lee' in GoogleThis author has not been identified. Look up 'Matthias Althoff' in GoogleThis author has not been identified. Look up 'Stefan Hoelldampf' in GoogleThis author has not been identified. Look up 'Markus Olbrich' in GoogleThis author has not been identified. Look up 'Erich Barke' in Google

runs on WebDSL