Le moteur de recherche
des thèses françaises
Olivier Roux
IdRefMots clés
FR |
EN
Bioinformatique
Modélisation des données (informatique)
Vérification de modèles (informatique)
Modélisation
Méthodes formelles (informatique)
Biologie des systèmes
Biologie systémique
Model checking
Heuristique
Révision de modèles
Régulation (biologie)
Réseau de régulation biologique
Délai
Analyse paramétrique
Contrainte
Équations différentielles
Réseaux biologiques
Logiques formelles
Métabolisme
Logique mathématique