Accéder au guichet d’assistance de l'Abes
Accéder à la documentation de theses.fr
Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Jaime E.
Arias Almeida
IdRef
Mots clés
FR
|
EN
Réseaux de Petri colorés
Scénarios multimédia Interactifs
Sémantique opérationnelle
Logique linéaire
Model checking
Automates temporisés
Petri, Réseaux de
Multimédias interactifs
Conception assistée par ordinateur
Langages de programmation
Sémantique opérationnelle
Automates temporisés
Auteur / Autrice de 1 thèse(s)