退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于动作的模型检查:逻辑自动机和减少
Stephen F. Siegel; Yihao Yan;
Model checking; Action; Event; LTL; Stutter-invariant;
机译:将OWL-S过程模型映射到定时自动机:一种检查定时时间逻辑的模型检查方法
机译:检查MITL公式的模型在定时自动机上:基于逻辑的方法
机译:L值计算树逻辑模型检查的自动机理论方法
机译:基于动作的模型检查:逻辑,自动机和约简
机译:使用满意度模理论和自动机检查对电子系统级模型进行形式化分析。
机译:使用贴纸自动机模型检查时间逻辑公式
机译:模型检验线性余代数时态逻辑:一种自动机理论方法
机译:基于使用概率模型和模糊逻辑构建的理论和经验过程模型的业务过程行为一致性检查和诊断方法和系统
机译:基于概率模型和模糊逻辑构建的基于理论和经验过程模型的业务过程行为一致性检查和诊断方法及系统
机译:这种减少参数化的通信自动机模型
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。