TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism - Archive ouverte HAL
Communication Dans Un Congrès Année : 2021

TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism

Résumé

When designing a biological regulatory network, new information or wet experiments can require adding variables or interactions, inside a previously validated model. They can result in complete reconsiderations of established behaviours. Fortunately, formal methods allow for fully automated verification of properties, and TotemBioNet is an efficient software integrating a collection of formal approaches for regulatory networks. It allowed us to develop a multidisciplinary methodology for designing large dynamical models in an incremental way, including non regression proofs (preservation of important biological properties).
Fichier principal
Vignette du fichier
BIOINFORMATICS_2021_2_CR.pdf (755.39 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03390453 , version 1 (21-10-2021)

Identifiants

Citer

Laetitia Gibart, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet. TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism. BIOINFORMATICS, Feb 2021, Online streaming, Portugal. ⟨10.5220/0010186200850092⟩. ⟨hal-03390453⟩
61 Consultations
47 Téléchargements

Altmetric

Partager

More