KIT | KIT-Bibliothek | Impressum

Automatisierte Verifikation hybrider Systeme am Beispiel eines Batteriemanagementsystems [in press]

Schwab, Stefan; Hohmann, Sören



Zugehörige Institution(en) am KIT Institut für Regelungs- und Steuerungssysteme (IRS)
Publikationstyp Proceedingsbeitrag
Jahr 2018
Sprache Deutsch
Identifikator ISBN: 978-3-944722-64-1
KITopen ID: 1000082748
Erschienen in 15. Fachtagung EKA-Entwurf komplexer Automatisierungssysteme, Otto-von-Guericke-Universität Magdeburg, 02.-03.05.2018
Auflage 1
Verlag ifak / Otto-von-Guericke-Universität, Magdeburg
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page