Verification of duration systems using an approximation approach (Q1429422): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036557
@@ Property / cites work: Q4036557 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for real-time systems
@@ Property / cites work: Symbolic model checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable integration graphs.
@@ Property / cites work: Decidable integration graphs. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536599
@@ Property / cites work: Q4536599 / rank @@
+Normal rank
@@ Property / cites work @@
+From ATP to timed graphs and hybrid systems
@@ Property / cites work: From ATP to timed graphs and hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754094
@@ Property / cites work: Q2754094 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754102
@@ Property / cites work: Q2754102 / rank @@
+Normal rank
@@ Property / cites work @@
+What's decidable about hybrid automata?
@@ Property / cites work: What's decidable about hybrid automata? / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1429422