Publikationen

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

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: 18. ITG/GMM/GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'15). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-18) March 3-4 Chemnitz Germany 3/2015.

Zur Publikation

In: IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS'15). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) April 22-24 Belgrade Serbia 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: Timothy Lethbridge , Jordi Cabot , Alexander Egyed (Hrsg.). 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: 12th Workshop on Model-Driven Engineering, Verification, and Validation. Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa-12) 12th befindet sich MODELS 2015 September 29-29 Ottawa ON Canada 2015.

Zur Publikation

In: Journal of Circuits, Systems and Computers 25 3 Seite 1640021 World Scientific Publishing 2015.

Zur Publikation

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