In: 1st International ESWEEK Workshop on Resiliency in Embedded Electronic Systems. International ESWEEK Workshop on Resiliency in Embedded Electronic Systems 1st October 8 Amsterdam Netherlands 2015.
Zur PublikationIn: Design and Verification Conference and Exhibition Europe (DVCon Europe). Design and Verification Conference (DVCon Europe) November 11-12 München Germany 2015.
Zur PublikationIn: Proceedings of ATVA 2015. International Symposium on Automated Technology for Verification and Analysis (ATVA-2015) October 12-15 Shanghai China Lecture Notes in Computer Science (LNCS) Springer 2015.
Zur PublikationIn: Design Automation Conference (DAC). Design Automation Conference (DAC) 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