Publications

Displaying results 1 to 7 of 7

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: ECMFA 2017. European Conference on Modelling Foundations and Applications (ECMFA-17) STAF Springer 2017.

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: SE Software Engineering für Smart Cities. Software Engineering für Smart Cities (SE-2016) February 23-26 Wien Austria 2016.

To the publication

In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE). Design, Automation & Test in Europe (DATE-15) March 9-13 Grenoble France ISBN 978-3-9815370-4-8 2015.

To the publication

In: 8th International Conference on Model Transformation (ICMT). International Conference on Model Transformation (ICMT-08) July 20-24 L'Aquila Italy 2015.

To the publication

In: International Conference on Tests & Proofs - Proceedings. International Conference on Tests & Proofs (TAP-14) 8th July 24-25 York United Kingdom 2014.

To the publication

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