David von Oheimb. Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS). In Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006. pages 5, IEEE, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.