Advanced control flow in Java card programming.

Peng Li Steve Zdancewic

Published in: LCTES (2004)

Keyphrases

java card
control flow
data flow
reactive systems
fault injection
byte code
process model
software testing
programming language
modeling language
workflow management systems
method invocation
databases
case study
user interface
pattern matching