Scalable Component Based Model Revision with Separation of Concerns for Cyber Physical Systems

  • assurance
  • formal methods
  • maintenance
  • program
  • system repair
  • CPS Domains
  • Transportation
  • Automotive
  • CPS Technologies
  • Foundations
  • Modeling
  • 2014
  • 2014 National Workshop on Transportation CPS
  • Publications
  • Position Paper
  • Academia
  • CFP Submissions
  • CFP Paper Submissions
Submitted by Sandeep Kulkarni on