Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Ferucio Laurentiu Tiplea

a dirigé 1 thèse

Logiques multi-valuées Systèmes concurrents Systèmes informatiques Technique d'abstraction Types abstraits de données Types de données Vérification

Fullscreen

Logiques multi-valuées Systèmes concurrents Systèmes informatiques Technique d'abstraction Types abstraits de données Types de données Vérification

Ferucio Laurentiu Tiplea a dirigé la thèse suivante :

Abstraction techniques for verification of concurrent systems

par Constantin Enea sous la direction de Ferucio Laurentiu Tiplea et de Anatol Slissenko . - Paris Est

Informatique

Soutenue le 08-01-2008

Thèse soutenue

Accéder en ligne