Verification from Simulations and Modular Annotations
| Title | Verification from Simulations and Modular Annotations |
| Publication Type | Presentation |
| Year of Publication | 2014 |
| Authors | Zhenqi Huang, University of Illinois at Urbana-Champaign, Yu Wang, University of Illinois at Urbana-Champaign, Sayan Mitra, University of Illinois at Urbana-Champaign, Geir Dullerud, University of Illinois at Urbana-Champaign |
| Keywords | NSA SoS Lablets Materials, science of security, Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems, UIUC |
| Notes | Presented as part of the Illinois Science of Security Lablet Bi-Weekly Meeting, September 2014. |
| URL | https://publish.illinois.edu/science-of-security-lablet/files/2014/05/092514-Bi-weekly-Presentation-... |
| Citation Key | node-30453 |
| Attachment | Size |
|---|---|
| bytes |