Skip to Main Content Area
  • CPS-VO
    • Contact Support
      
 
Not a member?
Click here to register!
Forgot username or password?
 
logo
  • Home
  • Registration
  • Program
  • Call for Presentations
  • Committee
  • Venue
  • Past Events
  • Submit
  • Files
CPS-VO » High Confidence Software and Systems Conference Series

Visible to the public Buyer/Seller Approach to Validation Assurance

  • View
  • Properties
Submitted by TimTh on Tue, 08/23/2011 - 10:17am. Contributor:
  • Warren A. Hunt, Jr.

Presented as part of the 2006 HCSS conference.

License: 
Creative Commons 2.5

Buyer/Seller Approach to Validation Assurance
Switch to normal viewerSwitch to experimental viewer
‹ Function Extraction (FX) Technology: Automated Calculation of Program Behavior for Software Assurance up Verified Cryptographic Protocol Analysis: Vision and Status ›
  • PDF document
  • 205.83 KB
  • 100 downloads
  • Download
  • Printer-friendly version
  • University of Texas
  • Academia
  • Presentation
  • HCSS '06
  • HCSS 2006

Terms of Use  |  ©2023. CPS-VO