- Author(s):
- Steinhorst, Sebastian; Hedrich, Lars
- Title:
- A Formal Approach to Complete State Space-Covering Input Stimuli Generation for Verification of Analog Systems
- Book / Congress title:
- Proceedings of Analog'08 (10. ITG/GMM-Fachtagung)
- Year:
- 2008
- Month:
- 4
- Pages:
- 57-62
- Print-ISBN:
- 978-3800730834
BibTeX