Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Formal Methods for Systems Biology: Contributions

Elisabetta de Maria 1
1 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO
Laboratoire I3S - MDSC - Modèles Discrets pour les Systèmes Complexes
Document type :
Habilitation à diriger des recherches
Complete list of metadata

Cited literature [216 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/tel-02888024
Contributor : Elisabetta de Maria <>
Submitted on : Thursday, July 2, 2020 - 4:35:57 PM
Last modification on : Monday, October 12, 2020 - 10:30:32 AM
Long-term archiving on: : Thursday, September 24, 2020 - 5:33:21 AM

File

HDR.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-02888024, version 1

Collections

Citation

Elisabetta de Maria. Formal Methods for Systems Biology: Contributions. Bioinformatics [q-bio.QM]. Université Côte d'Azur, 2020. ⟨tel-02888024⟩

Share

Metrics

Record views

103

Files downloads

242