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

Louis-Marie Givel

est l'auteur d'une thèse

Forçage en ligne  Petri, Réseaux de  Réseaux de Petri  Systèmes embarqués  Systèmes temps réel  Systèmes, Analyse de  Temps réel  Test  
Fullscreen

Forçage en ligne  Petri, Réseaux de  Réseaux de Petri  Systèmes embarqués  Systèmes temps réel  Systèmes, Analyse de  Temps réel  Test  

Louis-Marie Givel a rédigé la thèse suivante :

Test de systèmes temps réel à l’aide du forçage en ligne

par Louis-Marie Givel sous la direction de Olivier Henri Roux - Ecole centrale de Nantes

Informatique et applications
Soutenue le 16-12-2016
Thèse soutenue

Accéder en ligne
ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales