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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • fisher
    通过c++/matlab语言实现fisher判别,实现结果良好,可供大家使用,互相学习。(C++/Matlab language fisher discriminant to achieve good results, available for everyone to use, learn from each other.)
    2012-02-14 16:29:54下载
    积分:1
  • csjjl
    根据推导的公式仿真中重LFM信号的回波及处理过程,单个脉冲的回波(距离模糊情况下)为一行向量, 本程序专门用于对比不同处理情况下的积累效果(Long accumulation of compensation)
    2013-08-05 23:25:39下载
    积分:1
  • myVAD
    calculate a voice detection.also one can calculate the frequency of his/her voice.
    2009-11-17 00:16:38下载
    积分:1
  • Motion-Planning-Algorithms-master
    说明:  A*算法机器人路径规划,利用matlab仿真实现。(A* algorithm robot path planning, and MATLAB simulation is used to realize.)
    2021-04-20 15:40:50下载
    积分:1
  • SDWebImage_10803
    及时通信,及时通信,及时通信,及时通信,及时通信,(Timely communication, timely communication, timely communication, timely communication, timely communication,)
    2013-12-23 15:53:39下载
    积分:1
  • ATR-Trailer趋势EA
    说明:  这是一款根据均线开单的趋势EA,加载周期30分钟,货币主要跑镑系的,和美元的(This is a trend EA based on the average, loading cycle of 30 minutes, currencies mainly run in pounds, and the U.S. dollar.)
    2020-06-17 10:40:02下载
    积分:1
  • PIDEquipment
    对控制装置及仪表的控制系统进行仿真,并给出性能分析(Control devices and instrumentation control system simulation and performance analysis is given )
    2011-07-09 22:03:38下载
    积分:1
  • LiveLinkforMATLAB
    MULTIPHYSICS 中与MATLAB的友好链接。可从MATLAB中直接导入(MULTIPHYSICS in the friendly links and MATLAB. Can be imported directly from the MATLAB)
    2012-06-07 21:18:53下载
    积分:1
  • Project
    WiMAX tes for channel with two Q and CDF function
    2012-05-29 17:38:43下载
    积分:1
  • Guide-to-the-use-of-codewarrior
    codewarrior使用指南.Guide to the use of codewarrior.(Guide to the use of codewarrior.rar)
    2014-12-10 10:49:49下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载