J Gauthier

The Schengen Information System (SIS), functions, issues and problems

J Gauthier, 2010 .

Assessment of large automatically generated fault trees by means of binary decision diagrams

J Gauthier, A. B. Rauzy, X Leduc, 2007 .