Laboratoire de Recherche en Informatique

M. TODOROV Vassil

ATTENTION : ce membre a quitté le laboratoire le 31/12/2020

		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
Publications Thèses et habilitations Doctorat - Intégration de méthodes formelles dans la conception des fonctions logicielles automobiles