pdf-format: |
|
|
artifact-format: |
|
@Article{maida_et_al:DARTS.8.1.7, author = {Maida, Marco and Bozhko, Sergey and Brandenburg, Bj\"{o}rn B.}, title = {{Foundational Response-Time Analysis as Explainable Evidence of Timeliness (Artifact)}}, pages = {7:1--7:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2022}, volume = {8}, number = {1}, editor = {Maida, Marco and Bozhko, Sergey and Brandenburg, Bj\"{o}rn B.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16503}, URN = {urn:nbn:de:0030-drops-165038}, doi = {10.4230/DARTS.8.1.7}, annote = {Keywords: hard real-time systems, response-time analysis, uniprocessor, Coq, Prosa, fixed priority, EDF, preemptive, non-preemptive, verification} }
Keywords: | hard real-time systems, response-time analysis, uniprocessor, Coq, Prosa, fixed priority, EDF, preemptive, non-preemptive, verification | |
Seminar: | DARTS, Volume 8, Issue 1, Special Issue of the 34th Euromicro Conference on Real-Time Systems (ECRTS 2022) | |
Related Scholarly Article: | https://doi.org/10.4230/LIPIcs.ECRTS.2022.19 | |
Issue date: | 2022 | |
Date of publication: | 28.06.2022 |