Analyzing resilience properties in oscillatory biological systems using parametric model checking - Archive ouverte HAL
Article Dans Une Revue BioSystems Année : 2016

Analyzing resilience properties in oscillatory biological systems using parametric model checking

Alexander Andreychenko
  • Fonction : Auteur
Morgan Magnin
Institut de Recherche en Communications et en Cybernétique de Nantes
CV
Katsumi Inoue
  • Fonction : Auteur
National Institute of Informatics

Domaines

Bio-informatique [q-bio.QM]

Morgan Magnin  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01710218

Soumis le : jeudi 15 février 2018-17:00:22

Dernière modification le : vendredi 5 janvier 2024-03:24:52

Fichier non déposé

Dates et versions

hal-01710218 , version 1 (15-02-2018)

Identifiants

Citer

Alexander Andreychenko, Morgan Magnin, Katsumi Inoue. Analyzing resilience properties in oscillatory biological systems using parametric model checking. BioSystems, 2016, 149, pp.50 - 58. ⟨10.1016/j.biosystems.2016.09.002⟩. ⟨hal-01710218⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS EC-NANTES IRCCYN UNAM LS2N NANTES-UNIVERSITE
70 Consultations
0 Téléchargements

Altmetric

Partager

More