Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > TODOROV Vassil
Présentation
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