![]() |
Volumn 113, Issue SPEC. ISS., 2005, Pages 217-233
|
Guaranteeing Correctness Properties of a Java Card Applet
|
Author keywords
Code rewriting; Java byte code; Java Card; Runtime monitoring
|
Indexed keywords
CODE REWRITING;
JAVA BYTE CODE;
JAVA CARD;
RUNTIME MONITORING;
AUTOMATION;
BOUNDARY CONDITIONS;
CODES (SYMBOLS);
ERROR CORRECTION;
JAVA PROGRAMMING LANGUAGE;
LOGIC DESIGN;
REAL TIME SYSTEMS;
SET THEORY;
SMART CARDS;
|
EID: 11344262338
PISSN: 15710661
EISSN: None
Source Type: Journal
DOI: 10.1016/j.entcs.2004.01.033 Document Type: Conference Paper |
Times cited : (3)
|
References (12)
|