Le moteur de recherche
des thèses françaises
Olivier Roux
IdRefMots clés
FR |
EN
Petri, Réseaux de
Temps réel (informatique)
Biologie systémique
Model-checking
Biologie des systèmes
Myélome multiple
Coloration de graphes
Programmation par contraintes
Réseaux de régulation biologique
Frappes de processus
Modèle de Thomas
Formalisme asynchrone
Analyse statique
Atteignabilité
Rythmes biologiques
Systèmes dynamiques
Systèmes temps-réel distribués
Ordres partiels
Réseaux d'automates temporisés
Réseaux de Petri temporels