Published October 4, 2023
| Version v1
Software
Open
What Really is pWCET? A Rigorous Axiomatic Proposal (Artifact)
- 1. Max Planck Institute for Software Systems
- 2. TU Dortmund University
Description
This submission contains the formal proof for the paper:
- Sergey Bozhko, Filip Marković, Georg von der Brüggen, and Björn B. Brandenburg, “What Really is pWCET? A Rigorous Axiomatic Proposal”, Proceedings of the 44th IEEE Real-Time Systems Symposium (RTSS 2023), IEEE, December 2023.
The online version of the archive can be found in the specified repository via the following link: https://gitlab.mpi-sws.org/RT-PROOFS/probsa/-/tree/AE-RTSS2023.
Files
probsa-AE-RTSS2023.zip
Files
(3.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:8a24cd06942d43a7774bb5532c4d7501
|
3.6 MB | Preview Download |