by Bardin, Sébastien, Herrmann, Philippe, Leroux, Jérôme, Ly, Olivier, Tabary, Renaud, Vincent, Aymeric
Published in Computer Aided Verification

by Chaumette, Serge, Ly, Olivier, Tabary, Renaud
Published in 2011 5th International Conference on Network and System Security (01.09.2011)

by Chaumette, S, Ly, O, Tabary, R
Published in 2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (01.12.2010)