Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
My Groups
Join a Group
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Princeton University
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
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
90 downloads
Download
Rockwell Collins
Princeton University
Kansas State University
National HCSS Conference 2012
Presentation
Academia
Industry
HCSS'12 Theme: Technology Transfer
file
Verified Compiler Technology and Separation Logic for Reasoning about Concurrent C Programs
Submitted by
Katie Dey
on Tue, 05/10/2011 - 9:00am. Contributor:
Andrew W. Appel
1.43 MB
0 views
95 downloads
Download
Princeton University
National HCSS Conference 2011
Presentation
Academia
2011 Slide Presentations
HCSS '11
HCSS'11 Theme: Evidence
