MPG.eBooks - Search Results - "graph transformation"

Cover Image

1

Integrated Formal Methods : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Table of Contents: “... -- Application of Graph Transformation in Verification of Dynamic Systems -- Formal Probabilistic Analysis...”

Cover Image

2

Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Table of Contents: “... for Metamodel Specification -- Defining Object-Oriented Execution Semantics Using Graph Transformations -- Type...”