KIT | KIT-Bibliothek | Impressum | Datenschutz

Verification of hybrid systems using Kaucher arithmetic

Schwab, Stefan; Hohmann, Soeren



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Institut für Regelungs- und Steuerungssysteme (IRS)
Publikationstyp Zeitschriftenaufsatz
Publikationsmonat/-jahr 04.2019
Sprache Englisch
Identifikator ISSN: 2196-677X, 0178-2312
KITopen-ID: 1000100164
Erschienen in Automatisierungstechnik
Band 67
Heft 4
Seiten 316–325
Vorab online veröffentlicht am 28.03.2019
Nachgewiesen in Web of Science
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page