Reference : Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/5602
Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation
English
Ehrig, Hartmut [> >]
Ermel, Claudia [> >]
Hermann, Frank mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
König, Barbara [> >]
2009
Bulletin of the EATCS
EATCS
97
117--125
No
International
[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.
http://hdl.handle.net/10993/5602
http://www.eatcs.org/images/bulletin/beatcs97.pdf

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
beatcs97.pdfPublisher postprint198.11 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.