Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

FMICS
2009
Springer

favoriteEmaildiscussreport

121views Formal Methods» more FMICS 2009»

Model-Based Testing of Electronic Passports

13 years 11 months ago

Model-Based Testing of Electronic Passports

Download www.cs.ru.nl

Wojciech Mostowski, Erik Poll, Julien Schmaltz, Ja

Real-time Traffic

FMICS 2009 | Formal Methods |

claim paper

Related Content

» Formal Verification of Privacy for RFID Systems

» Externalized Fingerprint Matching

» ModelBased Chart Image Recognition

» AspectT aspectoriented test case instantiation

» Comparative Experiences with Electronic Process Guide Generator Tools

» Automatic construction of simple artifactbased business processes

Post Info
More Details (n/a)

Added	26 May 2010
Updated	26 May 2010
Type	Conference
Year	2009
Where	FMICS
Authors	Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur

Comments (0)