Identifiant pérenne de la notice : 277739829
Notice de type
Personne
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 / Dylan Marinho ; sous
la direction de Stephan Merz et Étienne André. Thèse de doctorat : Informatique :
Université de Lorraine : 2023