Forked from
RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
Source project has a limited visibility.
-
Marco Maida authored
Added the proof of correctness of the work-conservation transformation for an ideal uniprocessor schedule.
Marco Maida authoredAdded the proof of correctness of the work-conservation transformation for an ideal uniprocessor schedule.
