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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • detectFront
    基于Opencv的视频序列前景检测模块,可以用来检测自动化目标跟踪的初始位置(Opencv based video sequences foreground detection module,can be used to detect the initial position in automated target tracking )
    2014-02-18 14:02:50下载
    积分:1
  • Wavelet_OMP
    压缩传感算法,可以通过此算法恢复图像实现超分辨成像,多尺度小波变换(Compression sensing algorithm, through which the image can be restored to achieve super-resolution imaging, multi-scale wavelet transform)
    2017-06-10 14:35:30下载
    积分:1
  • cdp
    合成cdp道集地震记录程序,matlab语言编写(Cdp gather synthetic seismogram program, matlab language)
    2016-02-15 23:14:29下载
    积分:1
  • Design-embedded-computer
    Design Embedded system
    2015-02-26 11:40:42下载
    积分:1
  • BoostHelp
    关于boost库的开发,使用的知道教程。里面的内容很详细,说明都有,适合新手使用。(Know about the boost library development, the use of the tutorial.The inside of the content is very detailed description, all have, suitable for beginners to use.)
    2014-11-21 10:13:37下载
    积分:1
  • PIDInterfered
    船舶航向PID控制的Simulink仿真,采用NOMOTO模型(ship course control base on PID )
    2021-03-28 19:09:11下载
    积分:1
  • Visual-CPP_MATLAB
    vc++和matlab的图像处理应用程序,可以相互调用,属于混合编程的各个实例程序。(VC++ and MATLAB image processing applications, can call each other, belonging to the mixed programming various examples of procedures.)
    2012-01-02 20:12:03下载
    积分:1
  • soru2bandpass
    Bandpass filter simulation analog communication
    2011-09-10 15:39:33下载
    积分:1
  • ViterbiDec
    viterbi译码算法的matlab源代码(viterbi decoding algorithm matlab source code)
    2009-03-06 21:26:03下载
    积分:1
  • fdtd1dabc
    基于FDTD的一维点源分布远远场场分布,程序简单,易于阅读和使用,适合初学者。 (您是不是要找: 基于FDTD的一维点源分布远远场分布,程序简单,易于阅读和使用,适合初学者。 允许输入拉丁字符的拼音请键入文字或网站地址,或者上传文档。 取消 Jīyú FDTD de yī wéi diǎn yuán fēnbù yuǎn yuǎn chǎng chǎng fēnbù, chéngxù jiǎndān, yìyú yuèdú hé shǐyòng, shìhé chū xuézhě.将中文译成英语 中文(简体)英语日语FDTD-based one-dimensional distribution of far field point source field distribution, the program is simple, easy to read and use, suitable for beginners.)
    2011-12-28 16:13:01下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载