1035715

biblio

Visible to the public Model-based development of the Generic {PCA} infusion pump user interface within {PVS}

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

Visible to the public Model-Driven Safety Analysis of Closed-Loop Medical Systems

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

Visible to the public Your "What" Is My "How": Iteration and Hierarchy in System Design

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

Visible to the public Safety-critical Medical Device Development using the {UPP2SF} Model Translation Tool

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

Visible to the public Security and Interoperable-Medical-Device Systems, Part 1

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

Visible to the public Platform-dependent code generation for embedded real-time software

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

Visible to the public Assuring the Safety of On-Demand Medical Cyber-Physical Systems

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

Visible to the public A modal specification approach for on-demand medical systems

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