Louise Dennis

Search results

• 2019

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

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

  Research output: Book/Report › Book › peer-review