退出
我的积分:
中文文献批量获取
外文文献批量获取
詹乃军; 王戟; 李宣东;
计算机科学国家重点实验室(中国科学院软件研究所);
国防科学技术大学计算机学院;
计算机软件新技术国家重点实验室(南京大学);
形式化方法; 高阶逻辑; 应用专题; 定理证明器; 程序理论; 数学方法; 研究成果; 代数的; 计算机科学; 保障系统;
机译:形式化方法在软件开发中的应用和好处
机译:形式化方法在高完整性软件评估中的应用
机译:前言“ ICMAT 2013,专题讨论会A:用于储能系统的先进材料-从基础到应用,2013年6月30日至7月5日,新加坡”前言
机译:形式化软件工程方法在洛斯阿拉莫斯国家实验室无人值守和远程监控软件套件中的应用
机译:集成CAD / CAM软件的加工知识的形式化-应用于航空结构零件。
机译:第三本书:医疗领域的科学研究应用:软件开发方法论和用户软件工程方法论
机译:基于实时扩展UmL和改进形式化方法的实时嵌入式软件测试集成应用
机译:将形式化方法应用于可认证的安全软件系统。
机译:便于将移动软件应用程序下载到便携式电子设备中的装置和方法,其中该软件应用程序包含软件应用程序中包含的广告,并通过使用该软件的其他方式重新传输给其他应用程序
机译:移动通信终端,应用软件启动装置,应用软件启动系统,应用软件启动方法,以及应用软件启动程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。