Sciweavers

CAV
2011
Springer
217views Hardware» more  CAV 2011»
13 years 4 months ago
From Cardiac Cells to Genetic Regulatory Networks
Abstract. A fundamental question in the treatment of cardiac disorders, such as tachycardia and fibrillation, is under what circumstances does such a disorder arise? To answer to ...
Radu Grosu, Grégory Batt, Flavio H. Fenton,...
CAV
1997
Springer
202views Hardware» more  CAV 1997»
14 years 4 months ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi