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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • Kalman-filter_GUI
    卡尔曼滤波Kalman filter matlab GUI method M program 的matlab GUI实现方法 M程序 (Kalman filter matlab GUI method M program )
    2012-03-30 11:08:51下载
    积分:1
  • LPF(FIR-Hamming)
    采用Hamming窗实现的低通滤波器,可设置通带频率、截止频率以及带宽等滤波器特性参数。(The low-pass filter is realized by using Hamming window, can set the passband filter characteristic parameters such as frequency, the cut-off frequency and bandwidth.)
    2014-10-23 20:34:22下载
    积分:1
  • LCS
    最长公共子序列的个人实验,输入两个不同的字符序列(要求必须是字母),将输出这两个字符序列的最长公共子序列。(Individual experiments longest common subsequence, enter two different sequences of characters (letters must be required), the output of the longest common subsequence of the two-character sequence.)
    2014-01-11 23:55:57下载
    积分:1
  • LTEmoxing
    LTE模型 LTE模型 LTE模型 LTE模型(LTE LTE model model model LTE LTE model)
    2013-07-20 12:24:24下载
    积分:1
  • sup_2006419154530194
    麻省理工學院电子工程与计算机科学学院 MATLAB® 使用指南(MIT electrical engineering and computer science colleges MATLAB)
    2007-03-31 22:56:06下载
    积分:1
  • demo_matladd
    c#实现调用matlab的DLL文件,实现两个矩阵相加的 demo.(c# implementation calls the DLL file matlab realize the sum of two matrices demo.)
    2014-01-13 14:22:39下载
    积分:1
  • 16QAM
    基于MATLAB的16QAM仿真设计,里面包括若干个M文件,使用者只要在MATLAB环境下运行,就能看到仿真结果。(MATLAB simulation of 16QAM based on the design, which includes a number of M documents, users simply run under MATLAB environment, you can see the simulation results.)
    2009-12-23 11:52:27下载
    积分:1
  • Amorphous
    Amorphous定位算法的matlab例程,下载解压后可以直接用(Amorphous localization algorithm)
    2021-01-31 10:58:37下载
    积分:1
  • EtherCAT_Introduction_CN
    ethercat introduction and competitors s protocal comparision
    2015-01-06 14:48:06下载
    积分:1
  • BinarniBroj
    class of binary code
    2010-02-03 02:01:20下载
    积分:1
  • 696516资源总数
  • 106913会员总数
  • 8今日下载