Olivier Roux
IdRefMots clés
FR |
EN
Bioinformatique
Modélisation des données (informatique)
Méthodes formelles (informatique)
Vérification de modèles (informatique)
Modélisation
Biologie des systèmes
Biologie systémique
Modélisation du cycle cellulaire
Formalisation des phases
Formalisation des checkpoints intrinsèques
René Thomas
Logique de Hoare
Model-checking
Prolog
TotemBioNet
Cycle cellulaire
Prolog (langage de programmation)
Réseau de régulation biologique
Délai
Analyse paramétrique