1446832

biblio

Visible to the public Lagrangian Reachabililty

biblio

Visible to the public In-silico pre-clinical trials for implantable cardioverter defibrillators

biblio

Visible to the public Real-time Decision Policies with Predictable Performance

biblio

Visible to the public Three challenges in cyber-physical systems

biblio

Visible to the public Towards Model Checking of Implantable Cardioverter Defibrillators

biblio

Visible to the public Benchmark: Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue

biblio

Visible to the public Computer Aided Clinical Trials for Implantable Cardiac Devices