Model-Based Testing of Electronic Passports.

Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur

Browse the full FMICS paper archive.