2006 | ||
---|---|---|
1 | EE | Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl, Yanguo Liu, I. Traore: Integrated Security Verification and Validation: Case Study. LCN 2006: 1000-1007 |
1 | Dorina Ghindici | [1] |
2 | Gilles Grimaud | [1] |
3 | Yanguo Liu | [1] |
4 | Isabelle Simplot-Ryl (Isabelle Ryl) | [1] |