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
»
2011 HCSS Conference Proceedings
»
Theme: Cyber-Physical Systems
Keynote Presentation: Making Sound Cyber Security Decisions Through a Quantitative Metrics Approach
View
Properties
Submitted by whs on Sat, 05/14/2011 - 5:26pm. Contributor:
Bill Sanders
License:
Creative Commons 2.5
Other available formats:
Keynote Presentation: Making Sound Cyber Security Decisions Through a Quantitative Metrics Approach
‹ Verifying Timing-Centric Software Systems
up
Using Symbolic Execution to Obtain Greater Automation & Flexibility for Checking Spark Software Contracts in Critical ES ›
PDF document
13.86 MB
303 downloads
Download
Printer-friendly version
University of Illinois at Urbana-Champaign
National HCSS Conference 2011
Academia
Presentation
HCSS '11
Cyber-Physical Systems (HCSS'11)
2011 Slide Presentations