Connexion
Retour à l'accueil
  • Toutes les thèses
  • Thèses en préparation
  • Personnes
  • Organismes
Désactiver l'autocomplétion Activer l'autocomplétion






Effacer

Recherche avancée
Uniquement les thèses en préparation dont la soutenance est prévue dans les 6 prochains mois
Uniquement les personnes en lien avec une thèse soutenue ou en préparation depuis moins de 5 ans
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
ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales | Accessibilité numérique