Login
- Titel:
Verification of Uncertain Embedded Systems by Computing Reachable Sets based on Zonotopes
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Althoff, M.; Stursberg,O.; Buss,M.
- Seitenangaben Beitrag:
- 5125-5130
- Kongress- / Buchtitel:
- Proc. of the 17th IFAC World Congress
- Jahr:
- 2008
- Volltext / DOI:
- doi:10.3182/20080706-5-KR-1001.00861
BibTeX