Formal Analysis of Human Machine Interactions for Cyber-Physical Systems

Submitted by Sriram Sankara… on
  • foundations of CPS
  • Human CPS
  • University of Colorado at Boulder
  • CPS Domains
  • Health Care
  • Medical Devices
  • Foundations
  • Modeling
  • Validation and Verification
  • 2014
  • National CPS PI Meeting 2014
  • Academia