Task automata: Schedulability, decidability and undecidability (Q2643078): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2007.01.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2036081705
@@ Property / OpenAlex ID: W2036081705 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4371833
@@ Property / cites work: Q4371833 / 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 @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / 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 @@
+Q4472228
@@ Property / cites work: Q4472228 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4472261
@@ Property / cites work: Q4472261 / rank @@
+Normal rank
@@ Property / cites work @@
+Schedulability analysis of fixed-priority systems using timed automata
+Normal rank
@@ Property / cites work @@
+Q2766638
@@ Property / cites work: Q2766638 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551179
@@ Property / cites work: Q4551179 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2743706
@@ Property / cites work: Q2743706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754097
@@ Property / cites work: Q2754097 / 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 @@
+Q4536359
@@ Property / cites work: Q4536359 / rank @@
+Normal rank
@@ Property / cites work @@
+Time-abstracted bisimulation: Implicit specifications and decidability
+Normal rank