AToM3
From MaRDI portal
Software:22061
swMATH10092MaRDI QIDQ22061FDOQ22061
Author name not available (Why is that?)
Cited In (16)
- Combining graph transformation and algebraic specification into model transformation
- Termination Analysis of Model Transformations by Petri Nets
- Model View Management with Triple Graph Transformation Systems
- The model transformation language of the VIATRA2 framework
- A model-driven approach to building modern semantic web-based user interfaces
- Computational Methods in Systems Biology
- Graph Transformations
- Parallel graph transformation for model simulation applied to timed transition Petri nets
- Title not available (Why is that?)
- Fundamental Approaches to Software Engineering
- An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars
- Attributed graph transformation with node type inheritance
- Fundamental Approaches to Software Engineering
- GMTE: a tool for graph transformation and exact/inexact graph matching
- Lessons Learned from Building a Graph Transformation System
- Diagrammatic Representation and Inference
This page was built for software: AToM3
