Verifying analog oscillator circuits using forward/backward abstraction refinement

2006 | CONFERENCE DOI: 10.1109/DATE.2006.244113

Want to explore more research activities?

See how Impactio can help you with your research career.

Start