The University of Warwick Library - WebBridge

Using threat analysis techniques to guide formal verification : a case study of cooperative awareness messages
Farrell, Marie.  SEFM 2019: 17th edition of the International Conference on Software Engineering and Formal Methods.  v. 11724.   2019-09-09. p. 471 - 490... .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.