Add Request Bound Functions (!106) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Pierre Roux requested to merge proux/rt-proofs:request_bound_functions into master Aug 27, 2020

So that we can link them to arrival curves of Network Calculus in NCCoq as discussed in https://gitlab.mpi-sws.org/RT-PROOFS/project-administration/-/issues/23

The link with Network Calculus arrival curves can be found here : https://gitlab.mpi-sws.org/proux/nc-coq/-/tree/prosa-link/link