Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages

M. Farrell, M. Bradbury, M. Fisher, L.A. Dennis, C. Dixon, H. Yuan, C. Maple

Research output: Book/ReportBookpeer-review

Original languageUndefined
DOIs
Publication statusPublished - 2019

Cite this