退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:TCAS冲突解决算法的形式验证
John Lygeros; Nancy Lynch;
机译:多元植物:多项式空域冲突检测的正式验证算法
机译:从概率的角度正式建模和验证TTCAN协议
机译:用于基于状态的冲突检测的横向和临时安全缓冲区的形式验证
机译:关于TCAS冲突解决算法的形式验证
机译:了解解决冲突的任务负荷:在空域中实施咨询性冲突检测和解决算法。
机译:一种基于模型检查的聚类结果有效性验证的形式化算法
机译:正式验证最佳空中交通冲突解决和恢复算法
机译:冲突解决和恢复算法的形式验证
机译:用于数据处理器中的形式化验证的方法包括:使用信号包络的一个限制执行验证算法,并使用验证算法限制状态空间搜索
机译:主机站网络阅读器信件的冲突检测与解决方法,涉及在标识符验证失败的情况下检测冲突,进行冲突解决,并将可用信件分配给逻辑卷
机译:用于使用自动顺序对等检查对浮点除法和/或平方根算法设计进行分层形式硬件验证的系统,方法和计算机程序产品
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。