1035715

biblio

Visible to the public Runtime Verification of Traces Under Recording Uncertainty

biblio

Visible to the public On Effective Testing of Health Care Simulation Software

biblio

Visible to the public {Cyber-Physical Modeling of Implantable Cardiac Medical Devices}

biblio

Visible to the public Challenges and Research Directions in Medical Cyber-Physical Systems

biblio

Visible to the public Relating Average and Discounted Costs for Quantitative Analysis of Timed Systems

biblio

Visible to the public Model-based Closed-loop Testing of Implantable Pacemakers

biblio

Visible to the public {Safety-Assured Development of the GPCA Infusion Pump Software}

biblio

Visible to the public Modeling cardiac pacemaker malfunctions with the Virtual Heart Model