A framework for model transformation verification (Q903517): Difference between revisions

@@ Property / cites work @@
+A Type-Theoretic Framework for Certified Model Transformations
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+A Model-Based Development Approach for Model Transformations
+Normal rank
@@ Property / cites work @@
+A framework for model transformation verification
@@ Property / cites work: A framework for model transformation verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848432
@@ Property / cites work: Q2848432 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Verifying Model Transformations
@@ Property / cites work: Towards Verifying Model Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models
+Normal rank
@@ Property / cites work @@
+Termination Analysis of Model Transformations by Petri Nets
+Normal rank