Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 1.


Farrell, M ORCID: 0000-0001-7708-3877, Bradbury, M, Yuan, H, Fisher, M ORCID: 0000-0002-0875-3862, 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.

This list was generated on Tue May 19 05:53:43 2020 BST.