退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用STeP的混合系统演绎验证
Zohar Manna; Henny B. Sipma;
机译:使用STeP演绎验证实时系统
机译:混合系统的模块化演绎验证方法
机译:使用步骤的混合系统演绎验证
机译:使用Martingales对无限状态随机系统进行演绎验证。
机译:采用渐进式混合检查的逐步应力部分加速寿命试验中掩盖式混合系统寿命数据的统计分析
机译:混合图:混合系统验证的演绎算法
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行
机译:混合系统验证方法,验证设备,验证计算机程序以及混合系统模型转换方法,转换设备和转换计算机程序
机译:混合系统的验证方法,验证装置和验证计算机程序;混合系统的模型转换方法,模型转换装置和模型转换计算机程序
机译:使用功能性编程功能对程序进行演绎验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。