Publikationen

Zeige Ergebnisse 1 bis 10 von 13

In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2017) March 27-31 Lausanne Switzerland 2017.

Zur Publikation

In: Proceedings of the 2017 International Conference on Infocom Technologies and Unmanned Systems. International Conference on Infocom Technologies and Unmanned Systems (ICTUS-2017) December 18-20 Dubai United Arab Emirates 2017.

Zur Publikation

In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL) September 18-20 Verona Italy 2017.

Zur Publikation

In: 15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS). International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS-15) 15th September 5-7 Berlin Germany 2017.

Zur Publikation

In: Proceedings of the 36th International Conference on Computer Aided Design (ICCAD). IEEE/ACM International Conference on Computer-Aided Design (ICCAD-36) 36th November 13-16 Irvine CA United States 2017.

Zur Publikation

In: The Genetic and Evolutionary Computation Conference. The Genetic and Evolutionary Computation Conference (GECCO) July 15-19 Berlin Germany 2017.

Zur Publikation

In: Proceedings of the on Great Lakes Symposium on VLSI 2017. ACM Great Lakes Symposium on VLSI (GLSVLSI-2017) May 10-12 Banff AB Canada Seiten 463-466 ISBN 978-1-4503-4972-7 ACM New York 2017.

Zur Publikation

In: 47th International Symposium on Multiple-Valued Logic (ISMVL). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2017) May 22-24 Novi Sad Serbia 2017.

Zur Publikation

In: 2nd International Workshop on Resiliency in Embedded Electronic Systems (REES). Design, Automation & Test in Europe (DATE-2017) March 27-31 Lausanne Switzerland 2017.

Zur Publikation

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