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

Submitted by Jason Gigax on
  • CNS-2038903
  • 2022
  • CPS PI Meeting 2022