Analyzing resilience properties in oscillatory biological systems using parametric model checking - Archive ouverte HAL Access content directly
Journal Articles BioSystems Year : 2016

Analyzing resilience properties in oscillatory biological systems using parametric model checking

No file

Dates and versions

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

Identifiers

Cite

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⟩
59 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More