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

搜索资源列表

  1. 基于MFC的SPIN控件的扩展类

  2. 基于MFC的SPIN控件的扩展类，MFC自带的SPIN控件，设置步长有点麻烦，设置小数型步长更麻烦，此类可以提供彻底的解决方案。

  3. 所属分类：C++

    • 发布日期：2009-05-05
    • 文件大小：23552
    • 提供者：wirror800

  1. The Model Checker SPIN

  2. SPIN is an efficient verification system for models of distributed software systems. It has been used to detect design errors in applications ranging from high-level descr iptions of distributed algorithms to detailed code for controlling telephone

  3. 所属分类：其它

    • 发布日期：2009-08-16
    • 文件大小：253952
    • 提供者：wendychiu214

  1. spin 控件和Edit 控件联合使用

  2. spin 控件和Edit 控件的使用实例

  3. 所属分类：C++

    • 发布日期：2009-10-24
    • 文件大小：117760
    • 提供者：haerbin1

  1. The Spin Model Checker_Primer and Reference Manual(CHM格式)

  2. The Spin Model Checker_Primer and Reference Manual

  3. 所属分类：C/C++

    • 发布日期：2010-01-26
    • 文件大小：1048576
    • 提供者：orzorz

  1. The Spin Model Checker_Primer and Reference Manual (PDF格式)

  2. The Spin Model Checker_Primer and Reference Manual (PDF格式)

  3. 所属分类：其它

    • 发布日期：2010-01-26
    • 文件大小：3145728
    • 提供者：orzorz

  1. 无线传感器网络SPIN路由源码（NS2）

  2. 用NS2仿真无线传感器网络SPIN路由源码，希望对大家有用啊

  3. 所属分类：网络基础

    • 发布日期：2010-04-06
    • 文件大小：176128
    • 提供者：jdxh211

  1. 并发系统Promela建模、SPIN的使用

  2. 并发系统Promela语法规则，并发系统建模和SPIN的使用

  3. 所属分类：专业指导

  1. mfc spin嵌入edit，NumericSpin_demo，带Spin的Edit控件

  2. MFC 带Spin的Edit控件，将Spin控件嵌入Edit控件的方法，看到其它地方下载的都比较麻烦，把这个移到csdn上面来与大家分享。

  3. 所属分类：C++

    • 发布日期：2010-07-28
    • 文件大小：48128
    • 提供者：Minkowsky

  1. 并发系统的Promela语言建模与SPIN模型检测

  2. 并发系统的Promela语言建模与SPIN模型检测

  3. 所属分类：专业指导

    • 发布日期：2010-12-16
    • 文件大小：2097152
    • 提供者：mars914

  1. MIT 关于模型检测的课件 主要讲的是llt 和其他的一些逻辑 还有spin

  2. MIT 关于模型检测的课件 主要讲的是llt 和其他的一些逻辑 还有spin 都是一些入门的东西 高手不需要

  3. 所属分类：专业指导

    • 发布日期：2010-12-23
    • 文件大小：1048576
    • 提供者：haheiwuwo

  1. spin和promela简介

  2. 对spin和promela做了个简单总结，还有些简单例子

  3. 所属分类：其它

    • 发布日期：2011-04-08
    • 文件大小：762880
    • 提供者：lvqqrainbow

  1. principles of the spin model checker

  2. 介绍模型检查工具spin的基本概念以及相应机制

  3. 所属分类：软件测试

    • 发布日期：2011-05-19
    • 文件大小：199680
    • 提供者：mhaille

  1. spin协议源代码下载

  2. Spin协议是最早的一类无线传感器路由协议的代表，它主要是对洪泛路由协议的改进，本资源是无线传感器网络中Spin协议的C++语言源代码。

  3. 所属分类：网络基础

    • 发布日期：2011-06-14
    • 文件大小：189440
    • 提供者：lzq20082009

  1. UNIX版的SPIN与XSPIN在Cygwin下的安装与使用

  2. UNIX版的SPIN与XSPIN在Cygwin下的安装与使用

  3. 所属分类：其它

    • 发布日期：2012-02-19
    • 文件大小：769024
    • 提供者：ming8

  1. 安全协议AndrewRPC的SPIN模型检测

  2. 本文运用模型检测技术，以Dolev-Yao模型为基础，提出了使用Promela语言和模型检测工具SPIN对Andrew RPC 协议进行建模和分析的方法，发现了该协议存在重放攻击漏洞，该方法具有一定通用性和很好的参考价值。

  3. 所属分类：网络安全

    • 发布日期：2012-03-09
    • 文件大小：1048576
    • 提供者：jiseven1208

  1. ns2 spin 源码

  2. ns2 spin 源码

  3. 所属分类：其它

    • 发布日期：2012-03-27
    • 文件大小：176128
    • 提供者：chenkai619

  1. windows下spin和xspin的安装

  2. 在windows下安装spin和xspin。

  3. 所属分类：其它

    • 发布日期：2012-05-04
    • 文件大小：57344
    • 提供者：a201c501ys

  1. Introduction to SPIN & Promela

  2. 一个关于SPIN和Promela的简要介绍

  3. 所属分类：网络安全

    • 发布日期：2012-05-07
    • 文件大小：1048576
    • 提供者：nhebek

  1. Principles of the Spin Model Checker.pdf

  2. Spin模型检测方法，英文版。Principles+of+the+Spin+Model+Checker。

  3. 所属分类：软件测试

    • 发布日期：2012-07-14
    • 文件大小：3145728
    • 提供者：drizzlynight

  1. Principles.of.the.Spin.Model.Checker

  2. Principles.of.the.Spin.Model.Checker 完整版，按章节分成几个文件。还有一个最大的文件是整本书合在一起的，但是没有目录导航。下载回来就是这样子的

  3. 所属分类：其它

    • 发布日期：2012-09-17
    • 文件大小：4194304
    • 提供者：xybingo
« 12 3 4 5 6 7 8 9 10 ... 32 »