Login / Signup

Operational semantics of the Java Card Virtual Machine.

Igor Siveroni
Published in: J. Log. Algebraic Methods Program. (2004)
Keyphrases
  • virtual machine
  • operational semantics
  • java card
  • fault injection
  • operating system
  • byte code
  • formal semantics
  • data center
  • mental states
  • high level
  • case study
  • database systems
  • data model
  • anomaly detection