Login
- Titel:
Verification of Uncertain Embedded Systems by Computing Reachable Sets based on Zonotopes
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Althoff, Matthias; Stursberg, Olaf; Buss, Martin
- Kongress- / Buchtitel:
- Proceedings of the 17th IFAC World Congress
- Jahr:
- 2008
BibTeX