Assurance-Directed Design of Cyber-Physical Systems
License:
Creative Commons 2.5 - PDF document
- 116.79 KB
- 43 downloads
- Download
- PDF version
- Printer-friendly version
- CPS Domains
- Automotive
- Certification
- Design Automation Tools
- Transportation
- Validation and Verification
- CPS Technologies
- Foundations
- assurance
- certification
- formal verification
- integration
- tool
- CFP Submissions
- CFP Paper Submissions
- 2014 National Workshop on Transportation CPS
- 2014
- Industry
- Position Paper
- Publications