Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
HCSS Conference Program Committee (2016)
CPS-VO
»
High Confidence Software and Systems Conference Series
»
HCSS Conference Program Committee (2016)
» REASONING / IP
Reasoning / IP
file
Verification across Intellectual Property Boundaries
Submitted by akarns on Fri, 01/29/2016 - 12:53pm. Contributor:
Sagar Chaki
Presented as part of the
2016 HCSS conference
.
Validation and Verification
Foundations
intellectual property
protocol
High Confidence Software and Systems Conference 2016
Presentation
Reasoning / IP
HCSS 2016
