Misbah Razzaq
IdRefMots clés
FR |
EN
Programmation logique
Réseaux de signalisation
Vérification de modèles
Lignées cellulaires
Vérification de modèles (informatique)
Biologie des systèmes
Système dynamique hybride
Synthèse de modèles
Réseau métabolique régulé
Optimisation combinatoire et linéaire
Biologie systémique
Bioinformatique
Réseaux métaboliques
Systèmes dynamiques hybrides
Optimisation combinatoire