AToM3
From MaRDI portal
Software:22061
swMATH10092MaRDI QIDQ22061FDOQ22061
Author name not available (Why is that?)
Cited In (16)
- Termination Analysis of Model Transformations by Petri Nets
- Model View Management with Triple Graph Transformation Systems
- The model transformation language of the VIATRA2 framework
- Combining Graph Transformation and Algebraic Specification into Model Transformation
- A model-driven approach to building modern semantic web-based user interfaces
- Computational Methods in Systems Biology
- GMTE: A Tool for Graph Transformation and Exact/Inexact Graph Matching
- 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
- Lessons Learned from Building a Graph Transformation System
- Diagrammatic Representation and Inference
This page was built for software: AToM3
