Correctness and Efficiency Criteria for the Multi-Phase Task Model

Rémi Meunier, Thomas Carle, Thierry Monteil 0001. Correctness and Efficiency Criteria for the Multi-Phase Task Model. In Martina Maggio, editor, 34th Euromicro Conference on Real-Time Systems, ECRTS 2022, July 5-8, 2022, Modena, Italy. Volume 231 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

@inproceedings{MeunierC022,
  title = {Correctness and Efficiency Criteria for the Multi-Phase Task Model},
  author = {Rémi Meunier and Thomas Carle and Thierry Monteil 0001},
  year = {2022},
  doi = {10.4230/LIPIcs.ECRTS.2022.9},
  url = {https://doi.org/10.4230/LIPIcs.ECRTS.2022.9},
  researchr = {https://researchr.org/publication/MeunierC022},
  cites = {0},
  citedby = {0},
  booktitle = {34th Euromicro Conference on Real-Time Systems, ECRTS 2022, July 5-8, 2022, Modena, Italy},
  editor = {Martina Maggio},
  volume = {231},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  isbn = {978-3-95977-239-6},
}