Publikationen

Zeige Ergebnisse 31 bis 40 von 84

In: 12th Workshop on Model-Driven Engineering, Verification, and Validation. Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa-12) 12th MODELS 2015 September 29-29 Ottawa ON Canada 2015.

Zur Publikation

In: Formal Methods in Computer Aided Design (FMCAD). Formal Methods in Computer-Aided Design (FMCAD) September 27-30 Austin TX United States 2015.

Zur Publikation

In: IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC-2015) October 5-7 Daejeon Convention Center South Korea 2015.

Zur Publikation

In: 24th International Workshop on Logic & Synthesis (IWLS). International Workshop on Logic & Synthesis (IWLS-2015) June 12-13 Mountain View CA United States 2015.

Zur Publikation

In: 19. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV) March 1-2 Freiburg Germany 2016.

Zur Publikation

In: 7th Conference on Reversible Computation. Conference on Reversible Computation (RC-07) 7th July 16-17 Grenoble France 2015.

Zur Publikation

In: 7th Conference on Reversible Computation. Conference on Reversible Computation (RC-07) 7th July 16-17 Grenoble France 2015.

Zur Publikation

In: 9th International Conference on Tests & Proofs (TAP). International Conference on Test & Proofs (TAP-09) 9th July 20-24 L’Aquila Italy 2015.

Zur Publikation

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