• dnf技能模型修改器 > 基于线性时态逻辑的 Petri 网模型检测研究

  • 基于线性时态逻辑的 Petri 网模型检测研究

    免费下载 下载该文档 文档格式：PDF   更新时间：2012-03-27   下载次数：0   点击次数：1

    模型检测 中图分类号：TP311 文献标识码：A Research on Model Checking of ... 等价结点有进行简化。 把LTL 公式按照 DNF 形式进行展开，对DNF 中每一个合取式...

    抱歉，此文档暂时无法提供完整预览，请免费下载后浏览。
  • 下载地址 (推荐使用迅雷下载地址，速度快，支持断点续传)
  • 免费下载 PDF格式下载
  • 您可能感兴趣的
  • dnf模型修改器  dnf模型修改器下载  dnf模型修改器官网  dnf模型修改器怎么用  dnf模型补丁修改器  dnf多玩模型修改器  dnf模型修改器7.0  dnf技能模型  dnf大枪技能模型