Automatic verification of behavior preservation at the transformation level for relational model transformation.

Autor:	Dyck, Johannes1 (AUTHOR) johannes.dyck@hpi.de, Giese, Holger1 (AUTHOR) holger.giese@hpi.de, Lambers, Leen1 (AUTHOR) leen.lambers@hpi.de
Zdroj:	Software & Systems Modeling. Oct2019, Vol. 18 Issue 5, p2937-2972. 36p.
Databáze:	Academic Search Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.