退出
我的积分:
中文文献批量获取
外文文献批量获取
武书彦; 苏青琴; 刘久富;
郑州牧业工程高等专科学校信息工程系;
南京航空航天大学自动化学院;
函数不变量; 抽象解释; 正确性验证; 多项式关系;
机译:抽象解释的正确性内核
机译:使用功能抽象验证制造系统设计模型的接口的正确性
机译:类不变量作为轨迹语义的抽象解释
机译:使用抽象解释验证基本块上编译器转换的正确性
机译:开发基于链空间的模型并证明具有受限安全目标的IEEE 802.11i身份验证协议的正确性
机译:基于抽象的神经网络验证框架
机译:基于构造函数和抽象器的实现概念的水平和垂直组合的正确性
机译:IKOs:基于抽象解释的静态分析框架(工具文件)。
机译:解释器基于本机函数的签名来控制本机函数调用的方法
机译:蛋白质相互作用数据的基于函数的抽象方法以及使用该方法的可视化方法和装置
机译:操纵航天卫星姿态变化的方法,包括通过基于陀螺致动器的解释,通过建模来确定操纵控制律,陀螺致动器是卫星姿态变化的函数
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。