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
»
Proceedings of the Twelfth Annual High Confidence Software and Systems Conference
Theme: Technology Transfer
View
Submitted by Katie Dey on Wed, 05/02/2012 - 10:49am
Formal Methods and DO-178C
Accessible Integrated Formal Reasoning Environments in Classroom Instruction of Mathematics
Structured Orchestration of Data and Computation
Developer-Friendly Contract-Based Notations and Machine-Checkable Evidence for Verif. of Information Flow Properties for ES
Technology Transfer Challenges with the S&T Community
Tech Transfer of Software Tools
VehicleForge.mil: A Distributed, Semantically-Aware Framework to Support the Needs of the Open Hardware Community
‹ Conference Organization
up
Formal Methods and DO-178C ›
Printer-friendly version
Theme: Technology Transfer