Towards an integrative approach for the modeling and formal verification of biological regulatory networks
L'étude des grands modèles de réseaux biologiques par l'utilisation d'outils d'analyse et de simulation conduit à un grand nombre de prédictions. Cela soulève la question de savoir comment identifier les prédictions intéressantes de nouveaux phénomènes, qui peuvent être confronté...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2010
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2010LYO10239/document |