Model-based construction and verification of critical systems using composition and partial refinement (Q633296): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-010-0106-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2090216527
@@ Property / OpenAlex ID: W2090216527 / rank @@
+Normal rank
@@ Property / cites work @@
+The existence of refinement mappings
@@ Property / cites work: The existence of refinement mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of fault-tolerant concurrent programs
@@ Property / cites work: Synthesis of fault-tolerant concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Engineering and theoretical underpinnings of retrenchment
+Normal rank
@@ Property / cites work @@
+Formally Verifying Fault Tolerant System Designs
@@ Property / cites work: Formally Verifying Fault Tolerant System Designs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729081
@@ Property / cites work: Q2729081 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract State Machines
@@ Property / cites work: Abstract State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs
+Normal rank
@@ Property / cites work @@
+Q4284985
@@ Property / cites work: Q4284985 / rank @@
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Aspect Categories and Classes of Temporal Properties
+Normal rank
@@ Property / cites work @@
+Q2766635
@@ Property / cites work: Q2766635 / rank @@
+Normal rank
@@ Property / cites work @@
+Transformation of programs for fault-tolerance
@@ Property / cites work: Transformation of programs for fault-tolerance / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417622
@@ Property / cites work: Q4417622 / rank @@
+Normal rank