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
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
University of North Dakota
page
Towards a Proof-Carrying Approach for Survivability Specification and Verification
Submitted by Katie Dey on Sun, 10/21/2012 - 6:41pm
ABSTRACT
Science of Security
Yanjun Zuo
University of North Dakota
Academia
AFOSR: Information, Operations, and Security Program Review (Oct '12)
