Formal Behavioral Modeling of Real-time Operating Systems. - Cédrick Lelionnais; Matthias Brun 001; Jérôme Delatour; Olivier H. Roux; Charlotte Seidner (ICEIS (2), 2012)

Contribution à la considération du comportement des plates-formes d'exécution logicielles temps réel. (Contribution to the Consideration of the Behavior of Real-Time Software Execution Platforms). - Cédrick Lelionnais (2014)