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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • heartmonitor
    C/C++ Heart monitor sample application
    2010-09-20 04:10:21下载
    积分:1
  • 2D-TM
    fdtd arithmetic 计算二维tm波(fdtd arithmetic calculation of two-dimensional wave tm)
    2007-04-25 11:40:26下载
    积分:1
  • dbscan
    数据挖掘,聚类分析,DBSCAN C++的实现,(Data mining, clustering analysis, DBSCAN C++ Realization)
    2007-12-26 14:53:12下载
    积分:1
  • mycode_BubbleSort
    Guangxi M achinery No.2,2002 工程设计资料线图数据的MATLAB程序化(Guangxi M achinery No. 162-163 engineering design information and map data MATLAB program)
    2006-11-22 13:48:10下载
    积分:1
  • Quantisation
    image quantisation technique
    2010-01-31 03:51:51下载
    积分:1
  • CBF
    相控阵波束形成代码,具有详细注释,适合初学者使用!(Phased array beamforming code with detailed comments, suitable for beginners to use!)
    2016-02-29 20:10:41下载
    积分:1
  • SM_Sample
    source code for matlab
    2012-03-20 16:16:03下载
    积分:1
  • Music
    传统music算法,用于一个信号源的DOA估计,分辨力很好,很实用,可以用作初学者学习!(Traditional music algorithm, the DOA estimation for a signal source, the resolution is very good, very practical, can be used for beginners to learn!)
    2012-04-24 20:29:47下载
    积分:1
  • PRJ_D313_select4
    aam matlab gui 工具包,功能很强大(aam matlab gui toolkit, very powerful)
    2010-11-09 21:47:34下载
    积分:1
  • ClanguageandMATLABinterface
    说明:  C语言与MATLAB接口:编程与实例 函数介绍 ,应用举例……(C language and MATLAB interface: examples of function programming and introduces the application examples……)
    2010-04-18 17:10:34下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载