Publikationen

Zeige Ergebnisse 1 bis 4 von 4

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 Publikation

In: Design and Verification Conference and Exhibition Europe (DVCon Europe). Design and Verification Conference (DVCon Europe) November 11-12 München Germany 2015.

Zur Publikation

In: 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 Publikation

In: Design Automation Conference (DAC). Design Automation Conference (DAC) June 7-11 San Francisco United States 2015.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence