Pages that link to "Item:Q3523110"
From MaRDI portal
The following pages link to Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes (Q3523110):
Displayed 5 items.
- Modeling and simulation of cardiac tissue using hybrid I/O automata (Q2271452) (← links)
- System design of stochastic models using robustness of temporal properties (Q2348023) (← links)
- Quantitative verification of implantable cardiac pacemakers over hybrid heart models (Q2453219) (← links)
- Quadtrees as an Abstract Domain (Q2814109) (← links)
- StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes (Q3507384) (← links)