[en] 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.
Disciplines :
Computer science
Author, co-author :
Ehrig, Hartmut
Ermel, Claudia
Hermann, Frank ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
König, Barbara
Language :
English
Title :
Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation