Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl, Yanguo Liu, I. Traore. Integrated Security Verification and Validation: Case Study. In LCN 2006, The 31st Annual IEEE Conference on Local Computer Networks, Tampa, Florida, USA, 14-16 November 2006. pages 1000-1007, IEEE Computer Society, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.