Applet Verification Strategiesfor RAM-Constrained Devices.

Nils Maltesson David Naccache Elena Trichina Christophe Tymen

Published in: ICISC (2002)

Keyphrases

java card
mobile devices
concurrent systems
mobile applications
physical world
electronic devices
model checking
smart card
embedded devices
java applets
data sets
constrained problems
asynchronous circuits
formal methods
main memory
artificial intelligence
neural network