Hybrid diagrams (Q1853604): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification
+Normal rank
@@ Property / cites work @@
+Q3922147
@@ Property / cites work: Q3922147 / rank @@
+Normal rank
@@ Property / cites work @@
+Using mappings to prove timing properties
@@ Property / cites work: Using mappings to prove timing properties / rank @@
+Normal rank
@@ Property / cites work @@
+Completing the temporal picture
@@ Property / cites work: Completing the temporal picture / rank @@
+Normal rank
@@ Property / cites work @@
+Models for reactivity
@@ Property / cites work: Models for reactivity / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(02)00036-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2914507793
@@ Property / OpenAlex ID: W2914507793 / rank @@
+Normal rank