Formally Analyzing Human-User Interactions with Cyber-Physical Systems - Sriram Sankaranarayanan

  • CPS Domains
  • Energy
  • Smart Grid
  • Health Care
  • Medical Devices
  • Transportation
  • Automotive
  • Foundations
  • Validation and Verification
  • 2013
  • National CPS PI Meeting 2013
  • Presentation
  • Academia
  • Session 5: CPS PI Talks
Submitted by Sriram Sankara… on