|
 |
Doctorant
Centrale Supélec
Verification of Algorithms, Languages and Systems
Tel : 0169153073
Fax :
Office : 15/PCRI-S
Personal web page :
Email : Vassil.Todorov@lri.fr |
Publications
Ph.D. dissertations & Faculty habilitations
Ph.D - Automotive embedded software design using formal methods
|
