A formal framework for Hybrid Event B (Q2520616): 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 @@
+Q3569584
@@ Property / cites work: Q3569584 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential dynamic logic for hybrid systems
@@ Property / cites work: Differential dynamic logic for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential-algebraic Dynamic Logic for Differential-algebraic Programs
+Normal rank
@@ Property / cites work @@
+Logical Analysis of Hybrid Systems
@@ Property / cites work: Logical Analysis of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249575
@@ Property / cites work: Q4249575 / rank @@
+Normal rank
@@ Property / cites work @@
+The Image Computation Problem in Hybrid Systems Model Checking
+Normal rank
@@ Property / cites work @@
+Q4246811
@@ Property / cites work: Q4246811 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid action systems
@@ Property / cites work: Hybrid action systems / rank @@
+Normal rank