Automatisierte Verifikation hybrider Systeme am Beispiel eines Batteriemanagementsystems

Publikationstyp
Konferenz
Autor(en)
Schwab, Stefan and Hohmann, Sören
Jahr
2018
Verlag
ifak / Otto-von-Guericke-Universität, Magdeburg
Edition
1
ISBN
978-3-944722-64-1
Buchtitel
15. Fachtagung EKA-Entwurf komplexer Automatisierungssysteme, Otto-von-Guericke-Universität Magdeburg, 02.-03.05.2018
Download .bib
Download .bib
Eingetragen von
Stefan Schwab