Publications

Displaying results 1 to 10 of 21

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

To the publication

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.

To the publication

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

To the publication

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.

To the publication

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.

To the publication

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

To the publication

In: Proceedimgs of the 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS). ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS-2016) October 2-7 Saint-Malo France 2016.

To the publication

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