退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:集成Daikon和ESC / Java的动态检测程序不变式的静态验证
Nimmer Jeremy W.; Ernst Michael D.;
机译:使用动态框架自动验证Java程序
机译:基于近似动态规划的离散时间线性时间不变系统的静态输出反馈稳定
机译:动态检测可能的不变量的Daikon系统
机译:jsfox:集成JavaScript程序的静态和动态类型分析
机译:Java程序中类不变量的静态分析
机译:年轻人和老年人跨睡眠阶段心跳波动的静态和尺度不变动态测量的分层模式
机译:基于通用不变式的静态分析工具,用于检测Java程序中的运行时错误
机译:使用符号执行和不变生成验证Java程序
机译:使用XML描述和静态初始化程序动态生成语言本地化和自我验证的Java类
机译:用于JAVA智能卡的经过验证的程序代码下载系统,具有处理单元和验证器,用于验证代码并将代码提供给运营商,其中设计了单元和验证器,以便仅在验证后才将代码加载到运营商
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。