Répertoire

Recherche par nom et prénom
Vous pouvez utiliser le caractère * comme un jocker.
Recherche par ordre alphabétique
Recherche des personnes dont le prénom est Ylies*. Number of person who matches the search criteria: 1.
Ylies FALCONE

Maître de conférences (Université Grenoble Alpes)
Équipe(s) : CORSE

Courriel :
Site Web personnel : www.ylies.fr
Ylies FALCONE
Coordonnées
Téléphone : 04 38 78 61 52
Bureau : 446 - Campus Minatec
Publications

Dans HAL (Archive ouverte pluridisciplinaire)

Autre lien : http://www.ylies.fr/?page_id=47

Mots-clés
Runtime Verification Program Verification Formal Methods and Models for System Design