Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
From MaRDI portal
Publication:3540397
DOI10.1007/978-3-540-87405-8_13zbMath1175.68222OpenAlexW1600482346MaRDI QIDQ3540397
Publication date: 20 November 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-87405-8_13
Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
Cites Work
This page was built for publication: Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels