IAEM
Laboratoire : LORIA
Sujet de thèse : Contributions théoriques et algorithmiques pour l'analyse de propriétés de sûreté et de sécurité dans les systèmes temporisés sous incertitude
Directeur / Directrice de thèse : MERZ Stephan
Co-directeur / Co-directrice de thèse : ANDRé Étienne