Le moteur de recherche
des thèses françaises
Gilles Bernot
IdRefMots clés
FR |
EN
Bioinformatique
Modèles mathématiques
Biologie systémique
Métabolisme
Biologie des systèmes
Régulation génétique
Méthodes formelles (informatique)
Modélisation
Vérification de modèles (informatique)
Réduction de modèles
Réseaux de Petri
Programmation
Logique mathématique
Expression génique
Systèmes dynamiques
Réseaux biologiques
Systèmes échantillonnés
Réseau d'automate
Mode de mise à jour
Synchronisme et asynchronisme