CPS: Medium: Resource-Aware Hierarchical Runtime Verification for Mixed-Abstraction-Level Systems of Systems

  • Poster
  • 2038903
  • Verification and IoT
  • CPS PI Meeting 2021
  • NSF
  • Poster
Submitted by Kristin Yvonne… on