An Assurance Framework for Secure Cyber-Physical Systems

  • formal methods
  • security
  • systems engineering
  • MIT
  • CPS Domains
  • CPS Technologies
  • Architectures
  • Foundations
  • Architectures
  • Modeling
  • 2014
  • 2014 CPS-ECP
  • Publications
  • Position Paper
  • Academia
  • CFP Paper Submissions
  • CFP Submissions
Submitted by Eunsuk Kang on