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
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Fostering collaboration among CPS professionals in academia, government, and industry

CPS-VO » Proceedings of the Twelfth Annual High Confidence Software and Systems Conference

Visible to the public Theme: Technology Transfer

  • View
Submitted by Katie Dey on Wed, 05/02/2012 - 11: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

Terms of Use  |  ©2023. CPS-VO