EHA
Excitable Hybrid Automata
Introduction
|
Documentation
|
Download
|
People
|
Sponsors
|
Results
|
Links
Results
EMERALD: LSSL Model Checker
Single Cell Model
Ventricular Fibrillation followed by Defibrillation (Tissue of 400x400 cells)
Diffusion Model in CellExcite GUI
Tissue Panel in CellExcite GUI
Site maintained by
Ezio Bartocci
and
Radu Grosu
