Intra- and interdiagram consistency checking of behavioral multiview models (Q1749133): Difference between revisions

@@ Property / cites work @@
+A state/event-based model-checking approach for the analysis of abstract system properties
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Intra- and interdiagram consistency checking of behavioral multiview models
+Normal rank
@@ Property / cites work @@
+Towards Checking Parametric Reachability for UML State Machines
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models
+Normal rank
@@ Property / cites work @@
+Q5593816
@@ Property / cites work: Q5593816 / rank @@
+Normal rank