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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • LDPC
    LDPC码的C语言编译码,包含校验矩阵,备注等等(LDPC codes codec C language, including parity check matrix, notes, etc.)
    2015-02-26 08:12:55下载
    积分:1
  • MATLAB
    Normalized Cut Image Segmentation Code (Normalized Cut Image Segmentation Code)
    2008-05-05 11:10:38下载
    积分:1
  • read-SA-data
    正确读取雷达基数据,适合初学者使用,是个不错的例子。(Read correctly radar base data, suitable for beginners to use, is a good example.)
    2021-03-05 20:09:31下载
    积分:1
  • GPIO-V2
    Core M3直接操作寄存器控制GPIO的用法。(Core M3 directly manipulate registers control the GPIO usage.)
    2013-11-28 09:54:33下载
    积分:1
  • matlab-soc
    用于VC与matlab之间的通信,对初学者有好处(Used for communication between VC and matlab, good for beginners)
    2011-09-09 11:03:35下载
    积分:1
  • qdpsk
    qdpsk调制主要是帮助那些需要代码的朋友们,这些代码仅作参考,如有疑问请留言!!!谢谢(qdpsk modulation is mainly to help friends who need the code, the code is only for reference, if any questions please leave a message! ! ! Thank you)
    2010-07-01 13:02:08下载
    积分:1
  • VC_kalman-filter
    kalman 滤波器,初学者的参考,最好先学习一下其推到过程(kalman filter, the reference for beginners, it is best to first learn about the process of pushing)
    2011-11-24 16:54:33下载
    积分:1
  • clark-and-park
    本代码是CLARK和PARK变换的m文件和simulink模型,即从三相坐标变换到两相坐标的变换。(This code is CLARK and the PARK transform of the m file and the Simulink model, namely from the three-phase to two-phase coordinate transformation of coordinate transformation.)
    2014-09-03 10:55:22下载
    积分:1
  • 3-D-FDTD-code-with-PEC-boundaries
    基于三维时域有限差分法的matlab程序的源代码(Matlab source code based on finite difference time domain method)
    2012-06-22 13:30:47下载
    积分:1
  • IMA-ADPCM
    说明:  ADPCM的matlab程序,包括编码和解码两部分,标准G。721编解码。(ADPCM the matlab program, including the encoding and decoding of two parts, the standard G. 721 codec.)
    2010-04-22 22:00:32下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载