Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Home
Program Agenda
Breakout Reports-Groups
Birds of a Feather Sessions
Posters
Project Highlight Slides
Attendees
Registrants
Organizing Committee
Files
CPS-VO
»
Secure and Trustworthy Cyberspace (SaTC) Community Forum
»
2022 Secure and Trustworthy Cyberspace Principal Investigators' Meeting (SaTC PI Meeting '22)
Bridging the Gap Between Protocol Design and Implementation through Automated Mapping
View
Properties
Submitted by JasonGigax on Mon, 06/20/2022 - 11:23am. Contributors:
Romulo Meira-Goes
Stavros Tripakis
Daniel Jackson
Eunsuk Kang
Stéphane Lafortune
Rômulo Meira-Góes
Cristina Nita-Rotaru
License:
Creative Commons 2.5
Other available formats:
Bridging the Gap Between Protocol Design and Implementation through Automated Mapping
Switch to normal viewer
Switch to experimental viewer
PDF document
2.41 MB
4 downloads
Download
PDF version
Printer-friendly version
Posters
Cyber-Physical Systems Formal Methods and Language-based Security Software
1801342
1801399
1801546
SaTC PI Meeting 2022
Poster