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):
Displaying 8 items.
- Adaptive testing for specification coverage and refinement in CPS models (Q2085163) (← links)
- Emulation of cardiac mechanics using graph neural networks (Q2096869) (← links)
- 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)
- Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries (Q6487260) (← links)
