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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • aDBTT2_20paarr
    该软件源码包是阵列信号处理开发包,在matlab软件源码中是没有有自带的,该软件源码包主要用于雷达信号处理,无线通信信号处理等领域 (Source package of the software development kit array signal processing matlab software source code that comes with the software source code packages for radar signal processing, wireless communications, signal processing and other fields)
    2012-09-10 00:34:21下载
    积分:1
  • eemd
    EMD方法,可将非平稳信号降解为单频信号。用于分析其频谱特性。(EMD method, the non-stationary signal degradation for single-frequency signal. For the analysis of their spectral characteristics.)
    2014-10-05 00:18:08下载
    积分:1
  • matlab2
    利用matlab进行五点滑动平均法平滑处理(Using matlab five-point moving average smoothing method)
    2013-09-15 10:42:21下载
    积分:1
  • MatlabEngine
    matlab Engine与RTW的实验编程,通过C++实现方法来实现(MATLAB Engine with RTW experimental programming, to achieve through C++ method)
    2013-04-23 14:05:15下载
    积分:1
  • VC_matlab_hybrid-programming
    vc和matlab混合编程资料,讲述了如何让配置文件,和其中遇到问题的解决办法(vc and matlab mixed programming information about how to make the configuration file, and which solutions to the problems encountered)
    2021-03-04 19:59:32下载
    积分:1
  • mangqu
    AFD与AFDPF盲区对应的MATLAB程序.(the NDZ of AFD and AFDPF detection method corresponding MATLAB program.)
    2021-03-27 10:29:12下载
    积分:1
  • MyLOCK
    一个锁屏幕的程序,不再电脑旁时,防止被其他人看你的电脑资料(A lock screen program is no longer next time the computer, and prevent other people to read your computer data)
    2010-03-04 17:42:12下载
    积分:1
  • VCanddmatlab
    VC与matlab接口,来实现小波分解,对于学习VC和matlab混合编程的有很大帮助!(VC and matlab interfaces to achieve the wavelet decomposition, for the study of VC and matlab programming mix of great help!)
    2011-08-25 16:43:44下载
    积分:1
  • VCMATLAB
    如何用VC6.0和MATLAB进行联合编程文章(How to conduct a joint program VC6.0 and MATLAB article)
    2009-11-19 21:30:54下载
    积分:1
  • queuetest
    使用信号灯(semaphore),事件(Event),临界区(CriticalSection)进行线程同步的例子( Uses the signal light (semaphore), the event (Event), the critical zone (CriticalSection) carries on line regulation synchronization the example )
    2001-12-10 00:00:00下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载