TY  - THES
DP  - http://www.theses.fr/2009INPG0084
TI  - Un modèle intermédiaire pour la vérification des systèmes asynchrones embarqués en temps réel : définition et application du langage ATLANTIF
AU  - Stöcker, Jan
A3  - Lang, Frédéric
PY  - 2009
SP  - 1 vol. (302 p.)
N1  - Thèse de doctorat Informatique Grenoble INPG 2009
N1  - 2009INPG0084
ER  -