Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens. Parametric Schedulability Analysis of a Launcher Flight Control System Under Reactivity Constraints. In 19th International Conference on Application of Concurrency to System Design, ACSD 2019, Aachen, Germany, June 23-28, 2019. pages 13-22, IEEE, 2019. [doi]
Abstract is missing.