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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • huffman
    在matlab中实现哈夫曼压缩和解压缩。(Huffman compression and decompression in matlab.)
    2013-12-04 16:01:36下载
    积分:1
  • Endpointdetection
    说明:  这是一个连续语音端点检测的matlab程序,比较简单,希望可以帮到大家(This is a continuous speech endpoint detection, the matlab program is relatively simple, I hope you can help)
    2012-05-23 23:10:47下载
    积分:1
  • cssoptimizerx
    code composer optimizer
    2014-01-28 15:58:21下载
    积分:1
  • Multiple-access-protocls
    多址接入协议性能仿真比较,给出主程序源代码和各个脚本M文件(Multiple access protocol performance simulation given main program source code and script M-file)
    2013-04-07 21:52:24下载
    积分:1
  • The-application-of-semivariogram
    半变异函数的应用拟合球状模型程序 在土壤重金属分析中的应用(The application of semivariogram spherical model fitting procedure in analysis of soil heavy metals)
    2011-10-17 21:28:39下载
    积分:1
  • dsp
    matlab程序的课程设计与要求,在matlab中的应用 (matlab process)
    2011-12-29 20:20:25下载
    积分:1
  • 487403176NMPC
    说明:  非线性模型的预测控制,具有非常好的控制效果(Nonlinear model predictive control with very good control effect)
    2020-01-08 14:53:27下载
    积分:1
  • pHash-0.9.6.tar
    Phash software base version
    2014-11-11 04:25:56下载
    积分:1
  • VC++callsM
    说明:  压缩包内含有VC++中调用Matlab .m函数编译后的动态链接库和VC++中调用Matlab .m函数编译后的对应c函数(Compressed packets contain VC++ Calling Matlab. M function compiled dynamic link library and VC++ Calling Matlab. M function compiled function corresponds to c)
    2008-12-05 10:27:22下载
    积分:1
  • queue
    排队买饭程序:利用队列实现,可以有好朋友一起排队。(Queuing to buy food program: the use of queues to achieve, you can have friends lined up together.)
    2014-01-11 21:28:30下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载