2062 search results - page 12 / 413 » Hardware Objects for Java |
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
115
Voted
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
107
Voted
CAV
1999
Springer
15 years 10 months ago
1999
Springer
133
Voted
AICCSA
2006
IEEE
15 years 9 months ago
2006
IEEE
186
click to vote
CARDIS
2000
Springer
15 years 10 months 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...