Automatisierte Verifikation hybrider Systeme am Beispiel eines Batteriemanagementsystems

Resource type
Conference
Author(s)
Schwab, Stefan and Hohmann, Sören
Year
2018
Publisher
ifak / Otto-von-Guericke-Universität, Magdeburg
Edition
1
ISBN
978-3-944722-64-1
Book title
15. Fachtagung EKA-Entwurf komplexer Automatisierungssysteme, Otto-von-Guericke-Universität Magdeburg, 02.-03.05.2018
Download .bib
Download .bib
Published by
Stefan Schwab