Le moteur de recherche
des thèses françaises
Gilles Bernot
IdRefMots clés
FR |
EN
Bioinformatique
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
Petri, Réseaux de
Programmation
Logique mathématique
Expression génique
Réseaux biologiques
Réseau d'automate
Mode de mise à jour
Synchronisme et asynchronisme
Attracteur
Mode parallèle
Graphe de transitions général