2062 search results - page 12 / 413 » Hardware Objects for Java |
DATE
2000
IEEE
14 years 2 days ago
2000
IEEE
DATE
1999
IEEE
13 years 12 months ago
1999
IEEE
CAV
1999
Springer
13 years 12 months ago
1999
Springer
AICCSA
2006
IEEE
13 years 11 months ago
2006
IEEE
CARDIS
2000
Springer
14 years 14 hour ago
2000
Springer
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...