Publikationen

Zeige Ergebnisse 1 bis 3 von 3

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: 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: IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2015). IEEE Computer Society Annual Symposium on VLSI (ISVLSI) July 8-10 Montpellier France 2015.

Zur Publikation

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