退出
我的积分:
中文文献批量获取
外文文献批量获取
刘杰; 阳小华; 余童兰;
南华大学计算机科学与技术学院;
程序不变量; 不变量动态发现; 编配工具;
机译:高度精确的动态边界检查工具,适用于广泛的实际C程序
机译:适用于各种实际C程序的高精度动态边界检查工具
机译:可提供和高精度的动态边界检测工具适用于各种商业C程序
机译:IODINE:自动推断硬件设计动态不变量的工具
机译:比较Nassi-Shneiderman和伪代码作为新手程序员在设计和开发结构化BASIC程序时的计划辅助工具。
机译:USC PACK PC程序用于NPEM群体药代动力学建模剂量方案的多种模型设计和剂量方案的自适应控制:SCAMC演示1993年11月
机译:IODINE:自动推断硬件设计的动态不变量的工具
机译:模块化C程序工具箱的设计与实现,构建,分析和测试网络优化算法
机译:异构日志中的消息有序不变量的自动发现
机译:自动发现异构日志中的消息顺序不变量
机译:使用约束求解发现谓词抽象上的析取量和量化不变量
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。