退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:时间逻辑模型检查:两种技术用于避免国家爆炸问题
Edmund M. Clarke;
机译:通过时间间隔逻辑模型检查评估时间数据集
机译:将OWL-S过程模型映射到定时自动机:一种检查定时时间逻辑的模型检查方法
机译:模型检查间隔时间逻辑统一算法的复杂性分析
机译:在时间逻辑模型检查中避免状态爆炸问题
机译:使用多路决策图对一阶时间逻辑进行模型检查。
机译:使用贴纸自动机模型检查时间逻辑公式
机译:模型检查与通用模型检查:时间逻辑的语义最小化
机译:具有公平约束的petri网线性时态逻辑性质模型检验。
机译:基于使用概率模型和模糊逻辑构建的理论和经验过程模型的业务过程行为一致性检查和诊断方法和系统
机译:基于概率模型和模糊逻辑构建的基于理论和经验过程模型的业务过程行为一致性检查和诊断方法及系统
机译:颞差模型的无监督学习技术
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。