退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于超一致逻辑的不一致并发系统时间方面的模型检查
Chen Donghuo; Wu Jinzhao;
机译:并发递归程序的时态逻辑:可满足性和模型检查
机译:投影时间逻辑推动系统的模型检查
机译:使用交替投影时间逻辑检查打开系统的模型
机译:使用超一致和模糊逻辑来建立不一致的基于知识的系统
机译:基于数据的并发系统的模型检查
机译:使用贴纸自动机模型检查时间逻辑公式
机译:并发递归程序的时间逻辑:可满足性和模型检查
机译:具有公平约束的petri网线性时态逻辑性质模型检验。
机译:基于使用概率模型和模糊逻辑构建的理论和经验过程模型的业务过程行为一致性检查和诊断方法和系统
机译:基于概率模型和模糊逻辑构建的基于理论和经验过程模型的业务过程行为一致性检查和诊断方法及系统
机译:使用并发模型约简和模型检查对模型进行形式验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。