Skip to Main Content Area
  • CPS-VO
    • Contact Support
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation
2012 CPS PI Meeting
  • Home
  • Program Agenda
  • Posters & Abstracts
  • Organizers
  • Files
CPS-VO » NSF CPS PI Meetings » 2012 CPS PI Meeting

Visible to the public Advanced Transportation Systems

  • View
  • Properties
Submitted by Rajkumar on Wed, 10/03/2012 - 3:34pm. Contributors:
  • Raj Rajkumar
  • Andre Platzer
  • Edmund M. Clarke
  • Paul Rybski
  • John Dolan
  • David Wettergreen
  • Paolo Zuliani
License: 
Creative Commons 2.5

Other available formats:

Advanced Transportation Systems
Switch to normal viewerSwitch to experimental viewer
  • PDF document
  • 4.03 MB
  • 209 downloads
  • Download
  • PDF version
  • Printer-friendly version
  • CPS Domains
  • SCADA Systems
  • Automotive
  • Embedded Software
  • Real-time Systems
  • Concurrency and Timing
  • Control
  • Platforms
  • Time Synchronization
  • Systems Engineering
  • Critical Infrastructure
  • Real-Time Coordination
  • Wireless Sensing and Actuation
  • Transportation
  • Validation and Verification
  • CPS Technologies
  • Foundations
  • National CPS PI Meeting 2012
  • 2012
  • Session 2: Technology for CPS
  • Presentation

Terms of Use  |  ©2023. CPS-VO