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

Lukasz Fronc

est l'auteur d'une thèse

Compilation  Model-checking  Petri, Réseaux de  Symétrie  
Fullscreen

Compilation  Model-checking  Petri, Réseaux de  Symétrie  

Lukasz Fronc a rédigé la thèse suivante :

Compilation de réseaux de Petri : modèles haut niveau et symétries de processus

par Lukasz Fronc sous la direction de Hanna Klaudel et de Franck Pommereau . - Evry-Val d'Essonne

Informatique
Soutenue le 28-11-2013
Thèse soutenue

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