Design Automation Conference, DAC 2017


Article Details
Title: Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited
Article URLs:
Alternative Article URLs:
Authors: Meng Wu
  • Virginia Tech
Haibo Zeng
  • Virginia Tech
Chao Wang
  • University of Southern California
Huafeng Yu
  • Boeing Research & Technology
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1435281, 1617203
DBLP Key: conf/dac/WuZWY17
Author Comments:

Discuss this paper and its artifacts below