Mise en oeuvre de notations standardisées, formelles et semi-formelles dans un processus de développement de systèmes embarqués temps-réel répartis. (Using standardized, formal and semi-formal notations to design distributed real-time and embedded systems)

Xavier Renault. Mise en oeuvre de notations standardisées, formelles et semi-formelles dans un processus de développement de systèmes embarqués temps-réel répartis. (Using standardized, formal and semi-formal notations to design distributed real-time and embedded systems). PhD thesis, Pierre and Marie Curie University, Paris, France, 2009. [doi]