Publikationen

Zeige Ergebnisse 1 bis 10 von 18

In: Workshop on Design Automation for Understanding Hardware Designs (DUHDE). Workshop on Design Automation for Understanding Hardware Designs (DUHDe-2016) 3rd March 18 Dresden Germany 2016.

Zur Publikation

In: International Symposium on Electronic System Design. International Symposium on Electronic System Design (ISED-16) 6th December 15-17 Patna India IEEE 2016.

Zur Publikation

In: Automatic Methods for the Refinement of System Models. Springer International Publishing 2016.

Zur Publikation

In: 14th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE). ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE-16) November 18-20 Kanpur India 2016.

Zur Publikation

In: 14th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE). ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE-16) November 18-20 Kanpur India 2016.

Zur Publikation

In: 22nd Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-22) January 16-19 Tokio Japan 2016.

Zur Publikation

In: 13th Workshop on Model-Driven Engineering, Verification, and Validation. Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa-13) Saint-Malo France 2016.

Zur Publikation

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