Modeling and simulation of cardiac tissue using hybrid I/O automata (Q2271452)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modeling and simulation of cardiac tissue using hybrid I/O automata |
scientific article |
Statements
Modeling and simulation of cardiac tissue using hybrid I/O automata (English)
0 references
7 August 2009
0 references
computational systems biology
0 references
hybrid automata
0 references
formal analysis
0 references
excitable tissue
0 references
