Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation

Reference : Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/5602

Title :	Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation
Language :	English
Author, co-author :	Ehrig, Hartmut [> >]
	Ermel, Claudia [> >]
	Hermann, Frank [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	König, Barbara [> >]
Publication date :	2009
Journal title :	Bulletin of the EATCS
Publisher :	EATCS
Volume :	97
Pages :	117--125
Peer reviewed :	No
Audience :	International
Abstract :	[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.
Permalink :	http://hdl.handle.net/10993/5602
Other URL :	http://www.eatcs.org/images/bulletin/beatcs97.pdf

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	beatcs97.pdf		Publisher postprint	198.11 kB	Request a copy

All documents in ORBi^lu are protected by a user license.