Scheduling with timed automata (Q2368955): Difference between revisions

@@ Property / describes a project that uses @@
+Kronos
@@ Property / describes a project that uses: Kronos / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+IF-2.0
@@ Property / describes a project that uses: IF-2.0 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2005.11.018
+Normal rank
@@ Property / OpenAlex ID @@
+W1987234253
@@ Property / OpenAlex ID: W1987234253 / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2368955