[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 :
Sciences informatiques
Auteur, co-auteur :
Ehrig, Hartmut
Ermel, Claudia
HERMANN, Frank ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
König, Barbara
Langue du document :
Anglais
Titre :
Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation
