formal specification; formal verification; Java; security of data; smart cards; embedded systems; software metrics; embedded verifier; Java Card byte code; B method; Java Card language; metrics; formal development; automatic code translation;
机译:基于Java的嵌入式系统中动态更新的形式验证
机译:Java卡片卡片字节码验证器的研究
机译:Java智能卡上的字节码验证
机译:使用正式方法开发Java卡字节码嵌入式验证程序
机译:JVM及其字节码验证程序的正式规范和验证。
机译:比较临床术语表现的随机交叉试验 一般实践中的版本3和读取代码5字节集编码方案
机译:Java卡字节码嵌入式验证器的正式开发
机译:Kava:使用字节代码重写在Java中添加行为反射