MPG.eBooks - Search Results - "graph transformation"

Cover Image

1

Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

Table of Contents: “... and Recursive Data Structures -- Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration...”

Cover Image

2

Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Published 2008

Springer Berlin Heidelberg

Table of Contents: “... Software -- The Role of Model-Based Testing -- Abstraction of Graph Transformation Systems by Temporal...”