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

Submitted by Anonymous on Fri, 09/03/2021 - 12:49
  • Short Talk
  • 2038903
  • CPS PI Meeting 2021
  • NSF