登录
首页 » C++ Builder » uppaal-4.0.13-aca

uppaal-4.0.13-aca

于 2013-11-18 发布 文件大小:5532KB
0 200
下载积分: 1 下载次数: 6

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • Equalizer
    模拟大型服务器均衡器工作,将多台低性能服务器组合成高性能、高可用的服务器(Simulate large server equalizer work combines multiple servers into a high-performance low-performance, high availability servers)
    2014-09-04 00:50:08下载
    积分:1
  • matlab2
    利用matlab进行五点滑动平均法平滑处理(Using matlab five-point moving average smoothing method)
    2013-09-15 10:42:21下载
    积分:1
  • diff
    用MATLAB编写的一个通过积分运算进行衍射计算的小程序。(MATLAB prepared an operation conducted by integral calculation of the diffraction small programs.)
    2006-06-08 00:05:22下载
    积分:1
  • magicMatrix
    matlab c++ 联合编程简单示例,具体过程可以参照我的blog:http://blog.csdn.net/owldestiny/archive/2009/03/07/3966340.aspx(matlab c++ United programming easy example, the specific process can refer to my blog: http://blog.csdn.net/owldestiny/archive/2009/03/07/3966340.aspx)
    2009-03-08 09:34:43下载
    积分:1
  • Rrayleigh_chaa
    瑞利衰落信道仿真,基于Matlab的瑞利衰落信道仿真程序序源代码,还可以用C++来进行编程,已通过测试。 (Rayleigh fading channel simulation, has been tested Matlab Rayleigh fading channel simulation program sequence source code, you can also C++ programming.)
    2012-07-22 22:23:36下载
    积分:1
  • FileNotification
    A collection of command line tools which illustrate features of the file system. Demonstrates extended attributes, ACL s, and kqueue notification mechanisms.
    2007-10-15 02:28:57下载
    积分:1
  • theinterfaceofMatlabandCCS
    说明:  matlab与dsp的ccs接口,提供了一个应用的实例(matlab and dsp' s ccs interface provides an application example of)
    2009-08-24 11:17:59下载
    积分:1
  • CHAPTER2
    pid自适应控制器学习和程序大家学习,很好用的(点对点)
    2010-09-17 10:52:59下载
    积分:1
  • Alamouti
    BER for BPSK modulation in a Rayleigh fading channel with Alamouti Space Time Block Coding ,Two transmit antenna, Two Receive antenna
    2014-09-21 17:30:38下载
    积分:1
  • CCP-OFDM_noguP
    CP-OFDM的MATLAB源代码,简洁明了,非常适合初学入门者(CP-OFDM MATLAB source code, concise, very suitable for beginners beginners)
    2012-08-23 21:33:08下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载