注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. modelchecking

  2. modelchecking的基本书

  3. 所属分类：专业指导

    • 发布日期：2007-12-12
    • 文件大小：1048576
    • 提供者：hahawanglwr

  1. Principles of Model Checking

  2. 该书详细地介绍了ModelChecking的基本原理，适合于初学者

  3. 所属分类：其它

    • 发布日期：2013-01-27
    • 文件大小：1048576
    • 提供者：warrioralex

  1. 北京大学自动机理论by金芝老师

  2. 北京大学自动机理论语言和计算导论研究生课程2015-2016，金芝老师任课，并附《ModelChecking》一书英文版。

  3. 所属分类：专业指导

    • 发布日期：2016-10-29
    • 文件大小：10485760
    • 提供者：lonelysales

  1. jlint-2.3.zip

  2. 模型检测 ModelChecking模型检测 ModelChecking模型检测 ModelChecking模型检测 ModelChecking模型检测 ModelChecking模型检测 ModelChecking

  3. 所属分类：其它

    • 发布日期：2008-12-04
    • 文件大小：376832
    • 提供者：feiwen20

  1. LOGIC IN COMPUTER SCIENCE Modelling and Reasoning about Systems

  2. 英文原版 Preface to the second edition Our motivation for (re)writing this book One of the leitmotifs of writing the first edition of our book was the observation that most logics used in the design, specification and verification of computersystems fun

  3. 所属分类：讲义

    • 发布日期：2017-10-18
    • 文件大小：2097152
    • 提供者：txcjhaw

  1. Model checking-based safety verification for railway signal safety protocol-I

  2. Model checking-based safety verification for railway signal safety protocol-I

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：335872
    • 提供者：weixin_38742421