- Autor(en):
- Steinhorst, Sebastian; Hedrich, Lars
- Titel:
- A Formal Approach to Complete State Space-Covering Input Stimuli Generation for Verification of Analog Systems
- Kongress- / Buchtitel:
- Proceedings of Analog'08 (10. ITG/GMM-Fachtagung)
- Jahr:
- 2008
- Monat:
- 4
- Seiten:
- 57-62
- Print-ISBN:
- 978-3800730834
BibTeX