Deriving Real-Time Action Systems Controllers from Multiscale System Specifications (Q2908563): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-31113-0_7
+Normal rank
@@ Property / OpenAlex ID @@
+W158357973
@@ Property / OpenAlex ID: W158357973 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766651
@@ Property / cites work: Q2766651 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional action system refinement
@@ Property / cites work: Compositional action system refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement of time
@@ Property / cites work: Refinement of time / rank @@
+Normal rank
@@ Property / cites work @@
+A timeband framework for modelling real-time systems
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Compositional Action System Derivation Using Enforced Properties
+Normal rank
@@ Property / cites work @@
+Streamlining progress-based derivations of concurrent programs
+Normal rank
@@ Property / cites work @@
+Q4258224
@@ Property / cites work: Q4258224 / rank @@
+Normal rank
@@ Property / cites work @@
+Prefix and Projection onto State in Duration Calculus
+Normal rank
@@ Property / cites work @@
+Q4817545
@@ Property / cites work: Q4817545 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Action System Refinement
@@ Property / cites work: Continuous Action System Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid action systems
@@ Property / cites work: Hybrid action systems / rank @@
+Normal rank
@@ Property / cites work @@
+Robust safety of timed automata
@@ Property / cites work: Robust safety of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Duration calculus. A formal approach to real-time systems.
+Normal rank