Farrell, Marie, Bradbury, Matthew, Fisher, Michael, Dennis, Louise A., Dixon, Clare, Yuan, Hu and Maple, Carsten (2019) Using threat analysis techniques to guide formal verification: a case study of cooperative awareness messages. In: 17th International Conference on Software Engineering and Formal Methods (SEFM) 2019; 18-20 Sep 2019, Oslo, Norway. (Lecture Notes in Computer Science, no. 11724) ISSN (print) 0302-9743
Official URL: https://doi.org/10.1007/978-3-030-30446-1_25
Actions (Repository Editors)
 |
Item Control Page |