Biblio
Found 2 results
Filters: Author is Kwiatkowska, Marta [Clear All Filters]
Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage. IEEE Design {&} Test. 32:27–34.
.
2015. Invariant verification of nonlinear hybrid automata networks of cardiac cells. Computer Aided Verification - 26th International Conference, (CAV). 8559 LNCS:373–390.
.
2014.