util/subadditivity.v · bc38ff74ee56e08cf8c467900bcf878cdc4ba459 · Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

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

449 commits behind the upstream repository.

4 years ago
483d4633
add definitions of super- and sub-additivity · 483d4633
Marco Maida authored 4 years ago and Björn Brandenburg committed 4 years ago
```
...and some supporting theory. This will be needed to handle arrival curves extrapolated from a finite prefix.
```
483d4633

History
add definitions of super- and sub-additivity
Marco Maida authored 4 years ago and Björn Brandenburg committed 4 years ago
```
...and some supporting theory. This will be needed to handle arrival curves extrapolated from a finite prefix.
```

subadditivity.v 2.72 KiB