Investigating the usability of real-time scheduling theory with the Cheddar project (Q1033676): Difference between revisions

@@ 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.1007/s11241-009-9072-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2054158682
@@ Property / OpenAlex ID: W2054158682 / rank @@
+Normal rank
@@ Property / cites work @@
+Scheduler modeling based on the controller synthesis paradigm
+Normal rank
@@ Property / cites work @@
+Q4038702
@@ Property / cites work: Q4038702 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
+Normal rank
@@ Property / cites work @@
+Schedulability analysis of fixed-priority systems using timed automata
+Normal rank
@@ Property / cites work @@
+Q4782057
@@ Property / cites work: Q4782057 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4101255
@@ Property / cites work: Q4101255 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on preemptive scheduling of periodic, real-time tasks
+Normal rank
@@ Property / cites work @@
+Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
+Normal rank
@@ Property / cites work @@
+Q3997479
@@ Property / cites work: Q3997479 / rank @@
+Normal rank
@@ Property / cites work @@
+Investigating the usability of real-time scheduling theory with the Cheddar project
+Normal rank
@@ Property / cites work @@
+Q4715388
@@ Property / cites work: Q4715388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691093
@@ Property / cites work: Q5691093 / rank @@
+Normal rank