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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • Learn_Matlab
    Matlab7.0,英文版的,讲的都是基础,适合初学者入门,很不错的资料。(Matlab7.0, the English version of, say are the basis of entry for beginners, very good information.)
    2009-06-22 14:21:38下载
    积分:1
  • C
    说明:  C 语言学习教程 唐浩强著 很实用 适合初学者(C language learning was very useful tutorial for beginners Tang Haojiang )
    2010-09-15 18:26:02下载
    积分:1
  • SLALG
    Simple algorithm of wsn to localize mobile targets
    2015-02-05 17:13:03下载
    积分:1
  • duoguangshu
    迈克尔逊演示程序,很好用的一个程序。迈克尔逊演示程序,很好用的一个程序。(Michelson demo program, with a very good program. Michelson demo program, with a very good program.)
    2013-11-26 23:20:26下载
    积分:1
  • Text1
    c++产生高斯白噪声,可用于通信或信号传输系统中,白噪声产生的程序调用(c++ generated Gaussian white noise, can be used for communication or signal transmission system, the white noise generated by the procedure call)
    2008-04-19 22:34:34下载
    积分:1
  • 2008100
    matlab的小波变换源代码 可以用来做图像分析(matlab wavelet transform source code can be used to make image analysis)
    2008-05-23 14:50:06下载
    积分:1
  • wideex1
    这是波束形成源代码,不同方向加权后形成的波束域(This is beamforming source code, different direction weighted formed after beam domain)
    2016-02-09 06:19:49下载
    积分:1
  • pca
    matcom插件调用matlab里面princomp函数对数据进行处理的小程序(plug-ins inside matcom call matlab function princomp data processing applet)
    2009-06-05 10:39:52下载
    积分:1
  • LabProgram
    数字信号处理实验代码(基于matlab)(daplab code based on matlab)
    2012-04-26 15:32:57下载
    积分:1
  • BTREE
    Implementation of heap tree
    2015-02-13 20:58:02下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载