Sciweavers

CARDIS
2000
Springer
173views Hardware» more  CARDIS 2000»
14 years 4 months ago
Smart Tools for Java Cards
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Jav...
Isabelle Attali, Denis Caromel, Carine Courbis, Lu...