Skip to content
GitLab
Explore
Sign in
RT-PROOFS
PROSA - Formally Proven Schedulability Analysis
Repository
rt-proofs
model
schedule
work_conserving.v
Find file
Blame
History
Permalink
generalize notion of jobs_backlogged_at
· 9ebabee0
Björn Brandenburg
authored
Mar 31, 2020
This is a general definition and not specific to a particular implementation.
9ebabee0