Computer-aided development of a real-time program (Q4798476): Difference between revisions

@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4370252
@@ Property / cites work: Q4370252 / rank @@
+Normal rank
@@ Property / cites work @@
+A program refinement tool
@@ Property / cites work: A program refinement tool / rank @@
+Normal rank
@@ Property / cites work @@
+A brief history of Timed CSP
@@ Property / cites work: A brief history of Timed CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250651
@@ Property / cites work: Q4250651 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+Supporting contexts in program refinement
@@ Property / cites work: Supporting contexts in program refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Transformational design of real-time systems. II: From program specifications to programs
+Normal rank
@@ Property / cites work @@
+Transformational design of real-time systems. I: From requirements to program specifications
+Normal rank
@@ Property / cites work @@
+A specification-oriented semantics for the refinement of real-time systems
+Normal rank
@@ Property / cites work @@
+Q4370268
@@ Property / cites work: Q4370268 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250673
@@ Property / cites work: Q4250673 / rank @@
+Normal rank