Back to Results
First PageMeta Content
Evaluation / Smart card application protocol data unit / Model-based testing / Smart card / FIPS 201 / KeY / Test execution engine / Science / ISO standards / Software testing / Smart cards


SPECIFICATION-DRIVEN TESTING OF SMART CARD INTERFACE USING A FORMAL MODEL
Add to Reading List

Document Date: 2009-06-18 01:00:00


Open Document

File Size: 193,89 KB

Share Result on Facebook
UPDATE