1035715

biblio

Visible to the public Towards Non-Invasive Monitoring of Hypovolemia in Intensive Care Patients

Submitted by el_wehby on Wed, 05/23/2018 - 4:04pm
biblio

Visible to the public Towards Assurance for Plug & Play Medical Systems

Submitted by el_wehby on Wed, 05/23/2018 - 4:04pm
biblio

Visible to the public Requirement Engineering for Functional Alarm System for Interoperable Medical Devices

Submitted by el_wehby on Wed, 05/23/2018 - 4:03pm
biblio

Visible to the public Representing Confidence in Assurance Case Evidence

Submitted by el_wehby on Wed, 05/23/2018 - 4:03pm
biblio

Visible to the public Hierarchical multi-formalism proofs of cyber-physical systems

Submitted by el_wehby on Wed, 05/23/2018 - 4:03pm
biblio

Visible to the public Efficient observability-based test generation by dynamic symbolic execution

Submitted by el_wehby on Wed, 05/23/2018 - 4:03pm
biblio

Visible to the public Early Detection of Critical Pulmonary Shunts in Infants

Submitted by el_wehby on Wed, 05/23/2018 - 4:03pm
biblio

Visible to the public Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites

Submitted by el_wehby on Wed, 05/23/2018 - 4:03pm
biblio

Visible to the public An Intraoperative Glucose Control Benchmark for Formal Verification

Submitted by el_wehby on Wed, 05/23/2018 - 4:03pm
biblio

Visible to the public Structuring simulink models for verification and reuse

Submitted by el_wehby on Wed, 05/23/2018 - 4:03pm