Le moteur de recherche
des thèses françaises
David Delfieu
IdRefMots clés
FR |
EN
Petri, Réseaux de
Temps réel (informatique)
Arcs de reset
Dépliage
Algèbre de processus
Informatique
Model-checking
Méthodes formelles (informatique)
Logique temporelle
Ordonnancement (gestion)
Sciences appliquees
Informatique, automatique theorique, systemes
Systeme temps reel
Specification
Modelisation
Verification
Contrainte
Identification
Operateur
Grammaire