1035715

biblio

Visible to the public Evaluation of a smart alarm for intensive care using clinical data

Submitted by el_wehby on Wed, 05/23/2018 - 3:59pm
biblio

Visible to the public {Assessing the Overall Sufficiency of Safety Arguments}

Submitted by el_wehby on Wed, 05/23/2018 - 3:59pm
biblio

Visible to the public Formal Verification of Hybrid Systems

Submitted by el_wehby on Wed, 05/23/2018 - 3:59pm
biblio

Visible to the public Modeling and Verification of a Dual Chamber Implantable Pacemaker

Submitted by el_wehby on Wed, 05/23/2018 - 3:59pm
biblio

Visible to the public Optimal Scheduling for Constant-rate Multi-mode Systems

Submitted by el_wehby on Wed, 05/23/2018 - 3:58pm
biblio

Visible to the public Challenges in the regulatory approval of medical cyber-physical systems

Submitted by el_wehby on Wed, 05/23/2018 - 3:58pm
biblio

Visible to the public Smart alarms: multivariate medical alarm integration for post {CABG} surgery patients

Submitted by el_wehby on Wed, 05/23/2018 - 3:58pm
biblio

Visible to the public A Safety Case Pattern for Model-Based Development Approach

Submitted by el_wehby on Wed, 05/23/2018 - 3:58pm