KIT | KIT-Bibliothek | Impressum | Datenschutz

Automatisierte Verifikation hybrider Systeme am Beispiel eines Batteriemanagementsystems

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 Entwurf komplexer Automatisierungssysteme : EKA 2018 : Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen : 15. Fachtagung mit Workshop : 02. bis 03. März 2018 in Magdeburg. Hrsg.: Ulrich Jumar, Christian Diedrich
Auflage 1
Verlag ifak / Otto-von-Guericke-Universität, Magdeburg
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page