Model Checking Transportation Software
License:
Creative Commons 2.5 
PDF document- 762.57 KB
- 184 downloads
- Download
- PDF version
- Printer-friendly version
- CPS Domains
- Automotive
- Certification
- Communication
- Embedded Software
- Control
- Modeling
- Real-Time Coordination
- Transportation
- Validation and Verification
- CPS Technologies
- Foundations
- model checking
- Software
- Transportation Cyber-Physical Systems
- CFP Submissions
- CFP Paper Submissions
- 2014 National Workshop on Transportation CPS
- 2014
- Academia
- Position Paper
- Publications