Automated verification of model transformations based on visual contracts

Esther Guerra, Juan de Lara, Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger

Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

61 Zitate (Scopus)

Fingerprint

Untersuchen Sie die Forschungsthemen von „Automated verification of model transformations based on visual contracts“. Zusammen bilden sie einen einzigartigen Fingerprint.

Ingenieurwesen & Materialwissenschaft