The Unmet Challenge of Timed Systems (Q5170750): Difference between revisions

@@ Property / cites work @@
+Scheduling with timed automata
@@ Property / cites work: Scheduling with timed 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
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Timed regular expressions
@@ Property / cites work: Timed regular expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4304869
@@ Property / cites work: Q4304869 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4806206
@@ Property / cites work: Q4806206 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / 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 @@
+Sooner is safer than later
@@ Property / cites work: Sooner is safer than later / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal proof methodologies for timed transition systems
+Normal rank
@@ Property / cites work @@
+Amir Pnueli and the dawn of hybrid systems
@@ Property / cites work: Amir Pnueli and the dawn of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541339
@@ Property / cites work: Q5541339 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional specification of timed systems
@@ Property / cites work: Compositional specification of timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503927
@@ Property / cites work: Q4503927 / rank @@
+Normal rank
@@ Property / cites work @@
+Kronos: A verification tool for real-time systems
@@ Property / cites work: Kronos: A verification tool for real-time systems / rank @@
+Normal rank