In: IEEE International Symposium on Rapid System Protoyping (RSP). International Symposium on Rapid System Protoyping (RSP-2015) October 8-9 Amsterdam Germany 2015.
Zur PublikationIn: Formal Modeling and Verification of Cyber-Physical Systems. Springer 2015.
Zur PublikationIn: Formal Modeling and Verification of Cyber Physical Systems. Seiten 224-248 ISBN 978-3-658-09993-0 Springer Heidelberg 9/2015.
Zur PublikationIn: IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2015). IEEE Computer Society Annual Symposium on VLSI (ISVLSI) July 8-10 Montpellier France 2015.
Zur PublikationIn: Design Automation Conference (DAC). Design Automation Conference (DAC-15) June 7-11 San Francisco United States 2015.
Zur PublikationDeutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
Fax: +49 631 20575 5030
© DFKI, 2022