Formalisms for Cyber-Physical Systems in Transportation
License:
Creative Commons 2.5 
PDF document- 82.27 KB
- 94 downloads
- Download
- PDF version
- Printer-friendly version
- Automotive
- CPS Domains
- Avionics
- Concurrency and Timing
- Embedded Software
- Modeling
- Wireless Sensing and Actuation
- Transportation
- CPS Technologies
- Foundations
- middleware
- formal methods
- CFP Submissions
- CFP Paper Submissions
- 2014 National Workshop on Transportation CPS
- 2014
- Academia
- Position Paper
- Publications