Automatisierte Verifikation hybrider Systeme am Beispiel eines Batteriemanagementsystems
| Zugehörige Institution(en) am KIT | Institut für Regelungs- und Steuerungssysteme (IRS) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 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 |