Laws of mission-based programming (Q2355382): Difference between revisions

@@ Property / describes a project that uses @@
+CirCUs
@@ Property / describes a project that uses: CirCUs / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ZRC
@@ Property / describes a project that uses: ZRC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Z
@@ Property / describes a project that uses: Z / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ArcAngelC
@@ Property / describes a project that uses: ArcAngelC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Circus
@@ Property / describes a project that uses: Circus / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2062730515
@@ Property / OpenAlex ID: W2062730515 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3569584
@@ Property / cites work: Q3569584 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5294155
@@ Property / cites work: Q5294155 / rank @@
+Normal rank
@@ Property / cites work @@
+ZRC -- A refinement calculus for \(Z\)
@@ Property / cites work: ZRC -- A refinement calculus for \(Z\) / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional action system refinement
@@ Property / cites work: Compositional action system refinement / rank @@
+Normal rank
@@ Property / cites work @@
+From control law diagrams to Ada via \textsf{Circus}
+Normal rank
@@ Property / cites work @@
+A timed model for communicating sequential processes
+Normal rank
@@ Property / cites work @@
+A refinement strategy for Circus
@@ Property / cites work: A refinement strategy for Circus / rank @@
+Normal rank
@@ Property / cites work @@
+Safety-critical Java programs from \textsf{Circus} models
+Normal rank
@@ Property / cites work @@
+A tactic language for refinement of state-rich concurrent specifications
+Normal rank
@@ Property / cites work @@
+A sequential real-time refinement calculus
@@ Property / cites work: A sequential real-time refinement calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Integer Decision Procedures as Derived Rules in HOL
+Normal rank
@@ Property / cites work @@
+A UTP semantics for \textsf{Circus}
@@ Property / cites work: A UTP semantics for \textsf{Circus} / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebraic framework for specification and validation of real-time systems
+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 @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanised support for sound refinement tactics
@@ Property / cites work: Mechanised support for sound refinement tactics / rank @@
+Normal rank