Formalismes de modélisation en biologie moléculaire
Abstract
Différents formalismes pour la modélisation de systèmes biologiques (pi-calcul, hybrid cc, réseaux qualitatifs) sont présentés et comparés sur des exemples (enzymatique cinétique, mécanismes ioniques).