Copilot: Cyber-Physical System Run-Time Verification
Presented as part of the 2011 HCSS conference.
License:
Creative Commons 2.5 PDF document
- 1.55 MB
- 288 downloads
- Download
- Printer-friendly version