Benutzer: Gast  Login
Autor(en):
Althoff, M.; Stursberg, O.; Buss, M. 
Titel:
Verification of Uncertain Embedded Systems by Computing Reachable Sets based on Zonotopes 
Kongress- / Buchtitel:
Proceedings of the 17th IFAC World Congress 
Jahr:
2008