Modélisation, Simulation et Vérification des Grands Réseaux de Régulation Biologique
Les Réseaux de Régulation Biologique (RRB) sont communément utilisés en biologie systémique pour modéliser, comprendre et contrôler les dynamiques de production des protéines au sein des cellules. Bien qu'offrant une représentation très abstraite des systèmes biologiques, l'analyse formell...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Ecole centrale de nantes - ECN
2011
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00635750 http://tel.archives-ouvertes.fr/docs/00/63/81/14/PDF/main.pdf http://tel.archives-ouvertes.fr/docs/00/63/81/14/ANNEX/talk-2011-PhD.pdf |