Up a level |
Number of items: 1.
Farrell, M ORCID: 0000-0001-7708-3877, Bradbury, M, Yuan, H, Fisher, M, Dennis, L ORCID: 0000-0003-1426-1896, Dixon, C ORCID: 0000-0002-4610-9533 and Maple, C
(2019)
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages.
In: International Conference on Software Engineering and Formal Methods.