No. |
Title |
Author |
Year |
---|

1 |
A Formal Link Between Response Time Analysis and Network Calculus |
Roux, Pierre et al. |
2022 |

2 |
A Formal Link Between Response Time Analysis and Network Calculus (Artifact) |
Roux, Pierre et al. |
2022 |

3 |
A Residual Service Curve of Rate-Latency Server Used by Sporadic Flows Computable in Quadratic Time for Network Calculus |
Boyer, Marc et al. |
2021 |

4 |
A Residual Service Curve of Rate-Latency Server Used by Sporadic Flows Computable in Quadratic Time for Network Calculus (Artifact) |
Boyer, Marc et al. |
2021 |

5 |
Primitive Floats in Coq |
Bertholon, Guillaume et al. |
2019 |