Connexion
Toutes les thèses
Thèses en préparation
Personnes
Organismes
Désactiver l'autocomplétion
Activer l'autocomplétion
Titre
Mots clés
Résumé
Discipline
Texte intégral
Auteur
Directeur de thèse
Président du jury
Rapporteur
Membre du jury
Tous rôles
Etablissement de soutenance
Etablissement de cotutelle
Ecole doctorale
Laboratoire
Equipe de recherche
Entreprise
Fondation
Autre partenaire
et
ou
Titre
Mots clés
Résumé
Discipline
Texte intégral
Auteur
Directeur de thèse
Président du jury
Rapporteur
Membre du jury
Tous rôles
Etablissement de soutenance
Etablissement de cotutelle
Ecole doctorale
Laboratoire
Equipe de recherche
Entreprise
Fondation
Autre partenaire
et
ou
Titre
Mots clés
Résumé
Discipline
Texte intégral
Auteur
Directeur de thèse
Président du jury
Rapporteur
Membre du jury
Tous rôles
Etablissement de soutenance
Etablissement de cotutelle
Ecole doctorale
Laboratoire
Equipe de recherche
Entreprise
Fondation
Autre partenaire
et
ou
Date de soutenance
Date d'inscription en doctorat
Date de soutenance prévue
De
à
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
Aleksandra Jovanovic
est l'auteur d'une thèse
Automates temporisés
Contrôle
Jeux temporisés
Model-checking
Paramètres
Systèmes hybrides
Vérification de modèles
Automates temporisés
Contrôle
Jeux temporisés
Model-checking
Paramètres
Systèmes hybrides
Vérification de modèles
Aleksandra Jovanovic a rédigé la thèse suivante :
Vérification parametrée de systèmes temporisés
par
Aleksandra Jovanovic
sous la direction de
Didier Lime
-
Ecole centrale de Nantes
Informatique et applications
Soutenue en 2013