Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans (Q475379): Difference between revisions

@@ Property / arXiv ID @@
+.3034
@@ Property / arXiv ID: 1403.3034 / rank @@
+Normal rank
@@ Property / cites work @@
+A Heterogeneous Approach to UML Semantics
@@ Property / cites work: A Heterogeneous Approach to UML Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems
+Normal rank
@@ Property / cites work @@
+Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl
+Normal rank
@@ Property / cites work @@
+Automated Verification of Signalling Principles in Railway Interlocking Systems
+Normal rank
@@ Property / cites work @@
+Relating CASL with other specification languages: the institution level.
+Normal rank
@@ Property / cites work @@
+CSP theorems for communicating B machines
@@ Property / cites work: CSP theorems for communicating B machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150301
@@ Property / cites work: Q3150301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809064
@@ Property / cites work: Q4809064 / rank @@
+Normal rank