Taxonomic Search: Clayton Lewis

3 results

Results

file

Formal Dependability Analysis for Real-Time Medical Devices

Submitted by Katie Dey on Sat, 11/05/2011 - 10:36am. Contributors:

1.02 MB
0 views
10 downloads
Download

file

Analyzing Human User Interactions with Cyber-Physical Systems

Submitted by srirams on Fri, 10/05/2012 - 10:46am. Contributors:

Abstract

398.2 KB
0 views
56 downloads
Download

file

Model-based Dependability Analysis of Medical Infusion Pumps

Submitted by Katie Dey on Fri, 11/04/2011 - 11:07am. Contributors:

NSF Project: Formal Analysis of Man-Machine Interfaces to Cyber-Physical Systems

30.82 KB
0 views
57 downloads
Download

Current search

[×]

Contributor(s)

: Clayton Lewis

Guided search

Click a term to refine your current search.

CPS Events

2011 (2)
2012 (1)

Contributor(s)

: all » Clayton Lewis

Document Source

Academia (3)

Author

Katie Dey (2)
srirams (1)

Date authored

2011 (2)
2012 (1)

Cyber-Physical Systems Virtual Organization

Fostering collaboration among CPS professionals in academia, government, and industry

Taxonomic Search: Clayton Lewis

Results

Formal Dependability Analysis for Real-Time Medical Devices

Analyzing Human User Interactions with Cyber-Physical Systems

Model-based Dependability Analysis of Medical Infusion Pumps

Current search

Contributor(s)

Guided search

Group

Keywords

Content type

Document Type

CPS Events

Contributor(s)

Document Source

Author

Date authored

Keyword search