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 nom est MATEESCU* et le prénom Radu*. Number of person who matches the search criteria: 1.
Radu MATEESCU

Directeur de recherche (INRIA)
Équipe(s) : CONVECS

Courriel :
Site Web personnel : http://convecs.inria.fr/people/Radu...
Radu MATEESCU
Coordonnées
Téléphone : 04 76 61 54 86
Bureau : D105
Publications

Dans HAL (Archive ouverte pluridisciplinaire)

Autre lien : http://convecs.inria.fr/people/Radu.Mateescu/#section-7

Activités et responsabilités
Responsable EPC CONVECS.
Mots-clés
Méthodes formelles logique temporelle Vérification