退出
我的积分:
中文文献批量获取
外文文献批量获取
李义年; 曹占涛; 郑德生; 杨国武;
武汉理工大学理学院,武汉430063;
电子科技大学计算机科学与工程学院,成都610054;
广义符号轨迹赋值; 反例; 形式化验证; 符号模型验证; 抽象;
机译:用于符号模型检查的保留反例的约简
机译:使用符号反例进行多级有界模型检查
机译:通过术语级广义符号轨迹评估进行参数化硬件验证
机译:广义符号轨迹评估中的含意和抽象以及基于群论的可逆逻辑综合。
机译:使用基于贝叶斯模型的赋值测试进行物种划分:以中国蟾蜍为首的agamas(Phrynocephalus属)的案例研究
机译:使用符号模型验证器(SMV)进行基于模型的验证中的实践问题的研究
机译:使用符号模型验证器(smV)进行基于模型验证的实践问题研究
机译:从Simulink / Stateflow模型生成基于反例指导的抽象提炼的测试用例
机译:基于人工智能级模型验证的基于人工智能类模型验证的编码课程的方法,装置和计算机程序
机译:使用广义用户模型的用户验证方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。