TY  - THES
DP  - 
		http://www.theses.fr/2003ISAL0093
TI  - Validation temporelle des applications multitâches temps réel basée sur les automates temporisés communicants
AU  - Belarbi, Mostefa
A3  - Schwarz, Jean-Jacques; Babau, Jean-Philippe
PY  - 2003
SP  - 1 vol. (169 p.)
N1  - Thèse de doctorat Informatique Lyon, INSA 2003
N1  - 2003ISAL0093
ER  -