Mme YE Lina

Professeur assistant Centrale Supélec Vérification d'Algorithmes, Langages et Systèmes Tel : Fax : Bureau : 16/PCRI-S Page personnelle : https://www.lri.fr/~linaye Courrier électronique : lina.ye@lri.fr Activités de recherche    - Diagnostic    - Modélisation et systèmes à grande échelle Publications Thèses et habilitations Doctorat   - Optimized Diagnosability of Distributed Discrete Event Systems Through Abstraction