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

搜索资源列表

  1. Design and Validation of Computer Protocols

  2. Holzmann, G.: The Design and Validation of Computer Protocols. Englewood Cli s, MA: Prentice Hall, 1991

  3. 所属分类：专业指导

    • 发布日期：2011-02-20
    • 文件大小：2mb
    • 提供者：gamecs

  1. Spin Model Checker: Holzmann

  2. Spin Model Checker: Holzmann pdf版

  3. 所属分类：软件测试

    • 发布日期：2013-01-15
    • 文件大小：3mb
    • 提供者：sashoumaru

  1. SPIN经典论文集-第11届SPIN workshop论文集

  2. Invited Paper Formal Analysis of Processor Timing Models Reinhard Wilhelm 1 Heuristics and Probabilities Typical Structural Properties of State Spaces Radek Pelánek 5 State Caching Reconsidered Jaco Geldenhuys 23 Directed Error Detection in C++ with

  3. 所属分类：C

    • 发布日期：2008-12-18
    • 文件大小：6mb
    • 提供者：ding

  1. 制定安全关键代码的十大权力规则：十次幂–开发安全关键代码的规则。 Gerard J. Holzmann NASAJPL可靠软件实验室Pasadena，CA 91109-源码

  2. 制定安全关键代码的十条规则的力量 十大力量-制定安全关键法规的规则。 Gerard J. Holzmann NASA / JPL可靠软件实验室Pasadena，CA 91109

  3. 所属分类：其它

    • 发布日期：2021-02-11
    • 文件大小：34kb
    • 提供者：weixin_42104906