Identifiant pérenne de la notice : 188414126
Notice de type
Personne
Vérification dynamique formelle de propriétés temporelles sur des applications distribuées
réelles / Marion Guthmuller ; sous la dir. de Sylvain Conrassot-Vivier et Martin Quinson.
Thèse de doctorat : Informatique : Université de Lorraine : 2015
Information trouvée : Née le 15/05/1988 (d'après le formulaire d'enregistrement de thèse soutenue)