Search Results - Ehrig, Hartmut

  • Showing 1 - 5 results of 5
Refine Results
CSV Export
  1. 1

    Behavioural approach to modular system specification

    Report | by Ehrig, Hartmut; Nivela Alós, M. Pilar Brígida; Orejas Valdés, Fernando|||0000-0002-3023-4006 | Published 1988 |
  2. 2

    M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation

    Article | by Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas Valdés, Fernando|||0000-0002-3023-4006 | Published 2014 |
  3. 3

    Model synchronization based on triple graph grammars: correctness, completeness and invertibility

    Article | by Hermann, Frank; Ehrig, Hartmut; Orejas Valdés, Fernando|||0000-0002-3023-4006; Czarnecki, Krzysztof; Diskin, Zinovy; Xiong, Yingfei; Gottmann, Susann; Engel, Thomas | Published 2015 |
    Other Authors: “…Ehrig, Hartmut…”
  4. 4

    Formal analysis of model transformations based on triple graph grammars

    Article | by Hermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas Valdés, Fernando|||0000-0002-3023-4006 | Published 2014 |
    Other Authors: “…Ehrig, Hartmut…”
  5. 5

    Parallel composition and unfolding semantics of graph grammars

    Doctoral thesis | by Ribeiro, Leila | Published 1996 |

Search Tools: