Scheduling with timed automata (Q2368955): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2005.11.018
@@ Property / DOI: 10.1016/j.tcs.2005.11.018 / rank @@
-Normal rank
@@ Property / cites work @@
+Q4417926
@@ Property / cites work: Q4417926 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551179
@@ Property / cites work: Q4551179 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472231
@@ Property / cites work: Q4472231 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking in dense real-time
@@ Property / cites work: Model-checking in dense real-time / 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 @@
+Q4552456
@@ Property / cites work: Q4552456 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249561
@@ Property / cites work: Q4249561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769586
@@ Property / cites work: Q2769586 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552463
@@ Property / cites work: Q4552463 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256521
@@ Property / cites work: Q4256521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4806206
@@ Property / cites work: Q4806206 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimum and maximum delay problems in real-time systems
+Normal rank
@@ Property / cites work @@
+Q4472228
@@ Property / cites work: Q4472228 / 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 @@
+Deterministic job-shop scheduling: Past, present and future
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Computing efficient operation schemes for chemical plants in multi-batch mode
+Normal rank
@@ Property / cites work @@
+Compositional specification of timed systems
@@ Property / cites work: Compositional specification of timed systems / 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
@@ Property / DOI @@
+.1016/J.TCS.2005.11.018
@@ Property / DOI: 10.1016/J.TCS.2005.11.018 / rank @@
+Normal rank