退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Java卡字节码嵌入式验证器的正式开发
Ludovic Casset;
机译:基于Java的嵌入式系统中动态更新的形式验证
机译:Java卡片卡片字节码验证器的研究
机译:Java智能卡上的字节码验证
机译:JVM及其字节码验证程序的正式规范和验证。
机译:比较临床术语表现的随机交叉试验 一般实践中的版本3和读取代码5字节集编码方案
机译:基于模型检查的Java智能卡字节码验证
机译:Kava:使用字节代码重写在Java中添加行为反射
机译:用于便携式数据载体即芯片卡的程序代码优化方法,涉及在虚拟执行单元(例如,虚拟执行单元)上执行变换后的代码元素,即六十四位Java字节代码。十六位Java虚拟机
机译:用于JAVA智能卡的经过验证的程序代码下载系统,具有处理单元和验证器,用于验证代码并将代码提供给运营商,其中设计了单元和验证器,以便仅在验证后才将代码加载到运营商
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。