Analyzing resilience properties in oscillatory biological systems using parametric model checking

Alexander Andreychenko; Morgan Magnin; Katsumi Inoue

doi:10.1016/j.biosystems.2016.09.002

Article Dans Une Revue BioSystems Année : 2016

Analyzing resilience properties in oscillatory biological systems using parametric model checking

, (1) , (2)

1
2

Alexander Andreychenko

Fonction : Auteur

Morgan Magnin

Fonction : Auteur
PersonId : 16779
IdHAL : morgan-magnin
ORCID : 0000-0001-5443-0506
IdRef : 136842836

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

Dates et versions

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

Identifiants

HAL Id : hal-01710218 , version 1
DOI : 10.1016/j.biosystems.2016.09.002

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

59 Consultations

0 Téléchargements

Analyzing resilience properties in oscillatory biological systems using parametric model checking

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager