Old Web
English
Sign In
Acemap
>
Paper
>
On-the-Fly Formal Testing of a Smart Card Applet
On-the-Fly Formal Testing of a Smart Card Applet
2004
A. van Weelden
Lars Frantzen
Martijn Oostdijk
Pieter W. M. Koopman
G.J. Tretmans
Keywords:
Smart card application protocol data unit
OpenPGP card
Java applet
Smart card
BasicCard
Open Smart Card Development Platform
On the fly
Embedded system
MULTOS
Computer hardware
Computer science
Operating system
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]