Compositional modeling and refinement for hierarchical hybrid systems (Q2368695): Difference between revisions

@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Modular refinement of hierarchic reactive machines
+Normal rank
@@ Property / cites work @@
+Q4953375
@@ Property / cites work: Q4953375 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552455
@@ Property / cites work: Q4552455 / rank @@
+Normal rank
@@ Property / cites work @@
+Modularity for timed and hybrid systems
@@ Property / cites work: Modularity for timed and hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for hybrid systems
@@ Property / cites work: Process algebra for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid process algebra
@@ Property / cites work: Hybrid process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Q4536448
@@ Property / cites work: Q4536448 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418858
@@ Property / cites work: Q4418858 / rank @@
+Normal rank