[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

B. Oakes, J. Troya, L. Lucio, M. Wimmer:
"Fully Verifying Transformation Contracts for Declarative ATL";
Vortrag: ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada; 27.09.2015 - 02.10.2015; in: "Proceedings of the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS)", IEEE, (2015), ISBN: 978-1-4673-6908-4; S. 1 - 12.



"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1109/MODELS.2015.7338256

Elektronische Version der Publikation:
http://dx.doi.org/10.1109/MODELS.2015.7338256


Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.