Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation
Hartmut Ehrig, Claudia Ermel, Frank Hermann, Barbara König · Open Repository and Bibliography (University of Luxembourg) · 2009
Our new project "Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation" funded by the German Research Council (DFG) has started in May 2008. In this contribution we present the main goals of the project and first results.