Commit 2b450c38 authored by jonathan julou's avatar jonathan julou

un petit debut

parent 1dfedb3b
Pipeline #19066 failed with stages
in 5 minutes and 24 seconds
......@@ -35,7 +35,7 @@ Section Tasks.
(
completed_by sched j t ->
~ job_response_time_bound sched j R
)
).
(*for all job, if it completed before t, then it completed before its WCRT.
If it didn't finish before t, then it arrived after t-WCRT *)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment