Laboratoire de Recherche en Informatique

M. TODOROV Vassil

		Doctorant Centrale Supélec Vérification d'Algorithmes, Langages et Systèmes Tel : 0169153073 Fax : Bureau : 15/PCRI-S Page personnelle : Courrier électronique : Vassil.Todorov@lri.fr
Thèses et habilitations Thèse en cours - Intégration de méthodes formelles dans la conception des fonctions logicielles automobiles