In: 13th Workshop on Model-Driven Engineering, Verification, and Validation. Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa-13), Saint-Malo, France, 2016.
Jonas G. Filho; Nils Przigoda; Robert Wille; Rolf Drechsler
In: International Symposium on Electronic System Design. International Symposium on Electronic System Design (ISED-16), 6th, December 15-17, Patna, India, IEEE, 2016.
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.
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.
In: 18th Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-18), August 26-28, Funchal (Madeira), Portugal, 2015.
Nils Przigoda; Christoph Hilken; Robert Wille; Jan Peleska; Rolf Drechsler
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, Pages 176-185, ISBN 978-1-4673-6908-4, CEUR-WS.org, 2015.
Nils Przigoda; Judith Peters; Mathias Soeken; Robert Wille; Rolf Drechsler
In: 12th Workshop on Model-Driven Engineering, Verification, and Validation. Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa-12), 12th, located at MODELS 2015, September 29, Ottawa, ON, Canada, 2015.
