Jaco Van de Pol
IdRefMots clés
FR |
EN
Logique temporelle
Biologie des systèmes
Réseaux de régulation biologique
Simulation qualitative
Vérification formelle
Model checking
Bioinformatique
Biologie systémique
Biologie -- Modèles mathématiques
Model Checking parallèle
Model Checking Symbolique
Graphe d’Observation Symbolique
Vérification de modèles (informatique)
Algorithmes d'approximation
Méthodes formelles (informatique)
Synthèse de paramètre
Arbres d'attaque et de défaillance
Automates temporisés
Automates programmables
Décidabilité (logique mathématique)