model/task/arrival/request_bound_functions.v · a5927468f121ebd82f9112cf0bf9402ea84fbb1a · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

4 years ago
a5927468
Add Request Bound Functions · a5927468
Pierre Roux authored 4 years ago
```
So that we can link them to arrival curves of Network Calculus
in NCCoq.
```
a5927468

History
Add Request Bound Functions
Pierre Roux authored 4 years ago
```
So that we can link them to arrival curves of Network Calculus
in NCCoq.
```