Méthodes formelles de modélisation et vérification des systèmes dynamiques complexes

Analyse formelle des systèmes de régulation biologique