TY - THES DP - http://www.theses.fr/2007NICE4065 TI - Modélisation formelle de systèmes insensibles à la latence et ordonnancement AU - Boucaron, Julien A3 - Simone, Robert de PY - 2007 SP - 1 vol. (166 p.) N1 - Thèse de doctorat Informatique Nice 2007 N1 - 2007NICE4065 UR - http://www.theses.fr/2007NICE4065/document ER -