The Library

Browse by Funded research at the University of Warwick

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Author | No Grouping
Jump to: F
Number of items: 1.

F

Farrell, Marie, Bradbury, Matthew S., Fisher, Michael, Dennis, Louise A., Dixon, Claire, Yuan, Hu and Maple, Carsten (2019) Using threat analysis techniques to guide formal verification : a case study of cooperative awareness messages. In: SEFM 2019: 17th edition of the International Conference on Software Engineering and Formal Methods, Oslo, Norway, 16-20 Sep 2020. Published in: Software Engineering and Formal Methods. SEFM 2019, 11724 pp. 471-490. ISBN 9783030304454. doi:10.1007/978-3-030-30446-1_25

This list was generated on Thu Mar 23 03:06:48 2023 GMT.