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

researchr

You are not signed in
Sign in
Sign up

Marie Farrell, Matthew Bradbury, Michael Fisher 0001, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple. Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. In Peter Csaba Ölveczky, Gwen Salaün, editors, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings. Volume 11724 of Lecture Notes in Computer Science, pages 471-490, Springer, 2019. [doi]

This author has not been identified. Look up 'Marie Farrell' in GoogleThis author has not been identified. Look up 'Matthew Bradbury' in GoogleThis author has not been identified. Look up 'Michael Fisher 0001' in GoogleThis author has not been identified. Look up 'Louise A. Dennis' in GoogleThis author has not been identified. Look up 'Clare Dixon' in GoogleThis author has not been identified. Look up 'Hu Yuan' in GoogleThis author has not been identified. Look up 'Carsten Maple' in Google

runs on WebDSL