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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • shuzhifenxi-1
    MATLAB 用于数学的数学上的数据分析的材料,源码,上面有很微分积分等方法(MATLAB for the mathematical data analysis, mathematical materials, source code, there are differential points above and other methods)
    2010-06-07 21:33:24下载
    积分:1
  • 123
    信息论与编码中的自适应算术编码的程序,希望有帮助!(Information theory and coding of adaptive arithmetic coding process, want to help!)
    2011-11-01 20:28:32下载
    积分:1
  • Embedded_Systems_in_C_and_C__
    Embedded Systems C and C plus plus
    2014-09-10 17:36:15下载
    积分:1
  • QSGS
    采用四参数生成法自动生成多孔介质(二维),优化了出现独立单个节点、实体内部出现孔洞的问题(Four-parameter generation method automatically generates a porous medium, optimize the emergence of an independent single node, hole problems arise internal entities(2D))
    2021-04-22 15:38:48下载
    积分:1
  • Random-variable
    几种常用分布(如泊松分布、正态分布、指数分布、均匀分布)随机变量的matlab实现方法。(Surement distribution (eg Poisson distribution, normal distribution, exponential distribution, uniform distribution) random variable matlab implementation methods.)
    2013-08-14 15:34:39下载
    积分:1
  • rrhhj
    LabVIEW和MATLAB在水声信号处理中的应用 (LabVIEW and MATLAB in underwater acoustic signal processing applications)
    2011-10-28 08:43:21下载
    积分:1
  • sysidjob5
    此程序把M序列作为输入,使用最小二乘法对系统进行辨识,实现最小二乘的基本功能(M sequences in this program as input, using the least squares method to identify the basic functions of the least squares)
    2012-06-09 17:14:47下载
    积分:1
  • Locations
    Sample Code which helps to understand how to use LocationManager.
    2011-01-15 06:20:50下载
    积分:1
  • cforexample105
    c程序的105个经典的例子,新手很值得一看。(c program examples of the classic 105, novice is worth a visit.)
    2010-12-28 11:48:24下载
    积分:1
  • 鲸鱼算法
    说明:  通过模拟鲸鱼捕食的特点而开发的一种鲸鱼算法。(A whale algorithm developed by simulating the predation characteristics of whales.)
    2020-10-31 09:59:55下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载