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

@@ Property / describes a project that uses @@
+Charon
@@ Property / describes a project that uses: Charon / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2005.10.004
+Normal rank
@@ Property / OpenAlex ID @@
+W1983779606
@@ Property / OpenAlex ID: W1983779606 / rank @@
+Normal rank
@@ 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