Dynamic Reactive Modules (Q3090845): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-23217-6_27
+Normal rank
@@ Property / OpenAlex ID @@
+W1510156699
@@ Property / OpenAlex ID: W1510156699 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular refinement of hierarchic reactive machines
+Normal rank
@@ Property / cites work @@
+A discrete-time UML semantics for concurrency and communication in safety-critical applications
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Verification by augmented finitary abstraction
@@ Property / cites work: Verification by augmented finitary abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank