Correctness of generalisation and customisation of concurrent model synchronisation based on triple graph grammars - Gottmann, Susann; Hermann, Frank; Nachtigall, Nico; Braatz, Benjamin; Ermel, Claudia; Ehrig, Hartmut 1944-2016; Engel, Thomas 1971- (Technische Universität Berlin, 2013)
Keywords: Semantikerhaltende Transformation; Graph-Grammatik; Forschungsbericht