restructuring/model/readiness/suspension.v · f4c8366a89d1c3ac13d5d9664ee7325d48921720 · Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Forked from RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

Source project has a limited visibility.

5 years ago
f4c8366a
define readiness for jobs with self-suspensions · f4c8366a
Björn Brandenburg authored 5 years ago
```
...and define a job's total suspension time.
```
f4c8366a

History
define readiness for jobs with self-suspensions
Björn Brandenburg authored 5 years ago
```
...and define a job's total suspension time.
```