1035715

biblio

Visible to the public A layered approach for testing timing in the model-based implementation

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

Visible to the public Distributed Control for Cyber-Physical Systems

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

Visible to the public Circumvention of Security: Good Users Do Bad Things.

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

Visible to the public Compositional verification of a medical device system

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

Visible to the public Modes, features, and state-based modeling for clarity and flexibility

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

Visible to the public Modeling and requirements on the physical side of cyber-physical systems

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

Visible to the public Heart-on-a-Chip: A Closed-loop Testing Platform for Implantable Pacemakers

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

Visible to the public Closed-loop verification of medical devices with model abstraction and refinement

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