Verification et raffinement de programmes parallèles dans une logique temporelle compositionnelle
: application au langage SDL / Abdelillah Mokkedem ; Sous la direction de D. MERY;
1994
Information trouvée : Titulaire d'un doctorat de l'Institut National Polytechnique de Lorraine en 1994