Skip to Main Content Area
  • CPS-VO
    • Contact Support
      
 
Not a member?
Click here to register!
Forgot username or password?
 
  • Home
  • Code of Conduct
  • Program Agenda
  • Breakout Reports-Groups
  • Poster Session
  • Project Highlight Slides
  • Demonstrations
  • Attendees
  • Registrants
  • Undergraduate Track
  • Organizing Committee
  • Files
CPS-VO » Secure and Trustworthy Cyberspace (SaTC) Community Forum » 2019 Secure and Trustworthy Cyberspace Principal Investigators' Meeting (SaTC PI Meeting '19)

Visible to the public Bridging the Gap between Protocol Design and Implementation through Automated Mapping

  • View
  • Properties
Submitted by tripakis on Mon, 01/06/2020 - 12:55pm. Contributors:
  • Stavros Tripakis
  • Stephane Lafortune
  • Eunsuk Kang
  • Daniel Jackson
License: 
Creative Commons 2.5

Other available formats:

Bridging the Gap between Protocol Design and Implementation through Automated Mapping
Switch to normal viewerSwitch to experimental viewer
  • PDF document
  • 220.89 KB
  • 10 downloads
  • Download
  • PDF version
  • Printer-friendly version
  • Project Slides
  • Formal Methods and Language-based Security Software
  • 1801546
  • SaTC PI Meeting 2019

Terms of Use  |  ©2023. CPS-VO