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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • Tbbaaluojbh
    这是在matlab下实现的包络检波算法法。先对信号进行调制,然后进行包络检波。 (This is the method of envelope detection algorithm under Matlab. First signal modulation, and then proceed to the envelope detector.)
    2012-08-18 07:25:29下载
    积分:1
  • itg_COF
    MODEM芯片内部寄存器地址,对每个寄存器进行操作,操作的数值很多,一个一个罗列下来。(MODEM chip register address for each register to operation, the operation of the values many, listing one by one down.)
    2010-09-04 18:25:25下载
    积分:1
  • MTLAB
    MATLAB中的所有练习源程序,软件包形式,对学习MATLAB很有帮助(MATLAB source code for all exercises, the package forms of learning MATLAB helpful)
    2008-12-21 10:10:58下载
    积分:1
  • 20100816234956_UM_2.4.2.35
    估计过来看的精神分裂国家结果看来是大方监管机构 股市大幅交给若结果是劳动纠纷(Estimates of schizophrenic country come to see the results of regulatory agencies appear to be generous to the stock market if the result is a significant labor disputes)
    2013-12-07 19:21:22下载
    积分:1
  • 1
    说明:  介绍matlab和vc混编后独立运行程序(Introduce matlab and vc after running the program. Independent mix )
    2011-06-23 09:05:47下载
    积分:1
  • matlab_casefem
    本书简绍了matlab编写有限元程序的整个流程(The goal of this document is to give a very brief overview and direction in the writing of nite element code using Matlab. It is assumed that the reader has a basic familiarity with the theory of the nite element method, and our attention will be mostly on the implementation. An example nite element code for analyzing static linear elastic problems written in Matlab is presented to illustrate how to program the nite element method.)
    2014-01-15 15:03:59下载
    积分:1
  • h2fs
    iris information for research.give details of iris.
    2009-07-12 04:38:10下载
    积分:1
  • list_code
    两个简单文件,提供对list的插入,删除等操作,第一个上载程序,(tow simple c file ,provide the list insert ,delete, )
    2010-01-25 15:01:17下载
    积分:1
  • showtime
    假设Form后面的文本框叫txt_startDate(日期),txt_startTime(时分)To后面的文本框叫txt_endDate(日期),txt_entTime(时分)//后台代码(showtime in C#)
    2014-11-07 15:30:23下载
    积分: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
  • 696516资源总数
  • 106914会员总数
  • 0今日下载