Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz. A Framework for Evaluating Schedulability Analysis Tools.
Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, Aug 2017, Aalborg, Denmark.
⟨hal-01674731⟩