1035715

biblio

Visible to the public Steering model-based oracles to admit real program behaviors

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

Visible to the public Reasoning About Confidence and Uncertainty in Assurance Cases: {A} Survey

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

Visible to the public OpenICE: An open, interoperable platform for medical cyber-physical systems

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

Visible to the public Improving the accuracy of oracle verdicts through automated model steering

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

Visible to the public Functional Alarms for Systems of Interoperable Medical Devices

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

Visible to the public From Requirements to Code: Model Based Development of a Medical Cyber Physical System

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

Visible to the public Exploring the twin peaks using probabilistic verification techniques

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

Visible to the public Design Pillars for Medical Cyber-Physical System Middleware

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

Visible to the public A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal

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