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]

Authors

Rémi Meunier

This author has not been identified. Look up 'Rémi Meunier' in Google

Thomas Carle

This author has not been identified. Look up 'Thomas Carle' in Google

Thierry Monteil 0001

This author has not been identified. Look up 'Thierry Monteil 0001' in Google