swMATH9885MaRDI QIDQ21864FDOQ21864
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-540-75209-7_30
Cited In (13)
- A framework for model transformation verification
- An algebraic semantics for MOF
- SiTra
- Lightweight formalization and validation of ORM models
- HOL-OCL
- ATL
- Kermeta
- SelfSync
- UMLtoCSP
- AGEDIS
- What Is a Multi-modeling Language?
- Automatic Generation of CSP || B Skeletons from xUML Models
- Encoding OCL data types for SAT-based verification of UML/OCL models
This page was built for software: UML2Alloy
