Madame PAILLOCHER Sophie
Doctorant , Equipe COSMO
Analyse et solutions algorithmiques du model checking et de la synthèse de modèles pour les modèles partiels.
| Direction de thèse a IBISC | CERRITO Serenella | |
| Publications dans HAL IBISC | ||
| Courriel : | Financeur/affectation/tutelle : | |
| Date d'arrivée : 30/09/2021 | Date de départ : 03/04/2024 | Date de soutenance : |