Integrated Security Verification and Validation: Case Study - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Dorina Ghindici' in GoogleThis author has not been identified. Look up 'Gilles Grimaud' in GoogleThis author has not been identified. Look up 'Isabelle Simplot-Ryl' in GoogleThis author has not been identified. Look up 'Yanguo Liu' in GoogleThis author has not been identified. Look up 'I. Traore' in Google

runs on WebDSL