Copilot: Cyber-Physical System Run-Time Verification
Presented as part of the
2011 HCSS conference
.
License:
Creative Commons 2.5
Lee Pike
Other available formats:
Copilot: Cyber-Physical System Run-Time Verification
Switch to normal viewer
Switch to experimental viewer
