Morgan Magnin
IdRefMots clés
FR |
EN
Bioinformatique
Réseaux de régulation biologique
Modélisation des données (informatique)
Systèmes complexes
Méthodes formelles
Atteignabilité
Attracteurs (mathématiques)
Biologie systémique
Réseaux de régulation génétique
Model checking
Heuristique
Révision de modèles
Régulation (biologie)
Vérification de modèles (informatique)
Réseaux d’automates
Réseaux d’automates avec le temps
Apprentissage des modèles
Analyse formelle
Attracteurs
Answer Set Programming