Publikationen

Zeige Ergebnisse 1 bis 10 von 21

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: Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems. ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS-2015) September 27-October 2 Ottawa ON Canada Seiten 176-185 ISBN 978-1-4673-6908-4 CEUR-WS.org 2015.

Zur Publikation

In: 18th Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-18) August 26-28 Funchal (Madeira) Portugal 2015.

Zur Publikation

In: 18th Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-18) August 26-28 Funchal (Madeira) Portugal 2015.

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: Journal of Circuits, Systems and Computers 25 3 Seite 1640021 World Scientific Publishing 2015.

Zur Publikation

In: MODELSWARD 2018. International Conference on Model-Driven Engineering and Software Development (MODELSWARD-18) January 22-24 Funchal Portugal SCITEPRESS 2018.

Zur Publikation

In: 15th 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-15) September 29-October 2 Wien Austria 2017.

Zur Publikation

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