Modelbased testing of electronic passports (2009)

by W Mostowski, E Poll, J Schmaltz, J Tretmans, R W Schreur
Venue:In Proc. of FMICS’09, vol. 5825 of LNCS