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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论


0 个回复

  • matlab-M
    仿Matlab的矩阵运算程序,效果和Matlab的一样(Imitation of Matlab matrix calculation procedures)
    2013-10-20 12:18:52下载
    积分:1
  • xlate
    matlab辅助电路分析补丁,可借助它设计仿真示波器(matlab patch auxiliary circuit analysis, design and simulation can make use of it Oscilloscopes)
    2008-12-18 23:24:18下载
    积分:1
  • codigos
    Program to obtain electrical field value in any point in the space considering electric characteristic of space
    2011-06-10 23:50:01下载
    积分:1
  • suiji
    一种求随机数的方法的实现,同余随机数,比混沌随机方法更好,能通过评测。(A Method for the Realization of the method of random numbers, random number with more than )
    2010-05-12 00:30:38下载
    积分:1
  • Installshield
    一个完整的Installshield安装实例,初学者适用(The installation of a complete instance, for beginners)
    2014-12-16 15:43:28下载
    积分:1
  • OFDM-QPSK-Modulation
    对于OFDM初学者很有帮助,是很好的学习程序哦,可以学会用matlab仿真(the study of )
    2011-05-05 20:46:02下载
    积分:1
  • POCS
    matlab应用源程序,只能采集,网络连接(matlab application source code, can collect)
    2013-11-23 16:19:50下载
    积分:1
  • MOM_for_Antenna
    小型矩量法解决天线散射问题,在matlab环境下运行。(Small antenna scattering method of moments to solve the problem, run the matlab environment.)
    2014-02-08 15:04:32下载
    积分:1
  • princomp
    matlab_主成分,模式识别,用与主特征提取(principle compoment analysis)
    2014-09-26 13:34:01下载
    积分:1
  • M
    说明:  MATLAB平台下图像处理实验教学软件的实现研究(Image processing in MATLAB platform of experimental teaching software implementations)
    2013-03-08 11:06:01下载
    积分:1
  • 696518资源总数
  • 104932会员总数
  • 12今日下载