Le moteur de recherche
des thèses françaises
Olivier Roux
IdRefMots clés
FR |
EN
Systèmes complexes
Réseaux de régulation biologique
Modélisation hybride
Intégration des données
Simulation stochastique
Analyse statique
Vérification formelle
Interprétation abstraite
Bifurcation
Contrôle
Régulation (biologie)
Analyse stochastique
Bifurcation, Théorie de la
Simulation par calculateur hybride
Réseaux d’automates
Réseaux d’automates avec le temps
Apprentissage des modèles
Analyse formelle
Atteignabilité
Attracteurs