Taxonomic Search: p OR zhang, Princeton University

2 results

Results

file

Developer-Friendly Contract-Based Notations and Machine-Checkable Evidence for Verif. of Information Flow Properties for ES

Submitted by Katie Dey on Tue, 05/01/2012 - 5:28pm. Contributors:

John Hatcliff
Tobern Amtoft
Zhi Zhang
Simon Ou
Andrew Cousino
Josiah Dodds
Andrew Appel
Lennart Beringer
David Hardin

Abstract:

9 MB
0 views
91 downloads
Download

Rockwell Collins
Princeton University
Kansas State University
National HCSS Conference 2012
Presentation
Academia
Industry
HCSS'12 Theme: Technology Transfer

file

Enhancing the Safety and Trustworthiness of Medical Devices

Submitted by Katie Dey on Wed, 11/07/2012 - 4:58pm. Contributors:

Niraj K. Jha
Anand Raghunathan

ABSTRACT

2.46 MB
0 views
71 downloads
Download

Medical Devices
Princeton University
Safety
trustworthiness
SaTC PI Meeting 2012
Poster
Academia
SaTC Posters

Current search

[×] p OR zhang

[×]

Keywords

: Princeton University

Guided search

Click a term to refine your current search.

Group

2012 Secure and Trustworthy Cyberspace Principal Investigators' Meeting (1)
2013 High Confidence Software and Systems Conference (1)

Topics

Medical Devices (1)

Keywords

: all » Princeton University

Cyber-Physical Systems Virtual Organization

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

Taxonomic Search: p OR zhang, Princeton University

Results

Developer-Friendly Contract-Based Notations and Machine-Checkable Evidence for Verif. of Information Flow Properties for ES

Enhancing the Safety and Trustworthiness of Medical Devices

Current search

Keywords

Guided search

Group

Topics

Keywords

Content type

Document Type

CPS Events

Contributor(s)

Document Source

Author

Date authored

Keyword search