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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • sys
    地震合成记录,通过褶积模型,利用子波和反射系数求出了自激自收情况下的波形。(synthetic seismogram)
    2011-12-06 16:34:27下载
    积分:1
  • EfPiSoft-1.0_src.tgz
    hierarchical Mesh Segmentation based on Fitting Primitives 配套源码(code for hierarchical Mesh Segmentation based on Fitting Primitives)
    2013-12-07 05:01:48下载
    积分:1
  • Untitled2
    add text to image in matlab
    2016-11-12 00:44:02下载
    积分:1
  • Matlab-Function-quick-manual
    Matlab函数查询手册,用于查看Matlab函数的功能和类别。(Matlab Function quick manual)
    2014-11-17 19:58:37下载
    积分:1
  • Minttegdiff-ma
    matlab微积分讲义ppt,包含算法,程序源码等非非常多不错的咚咚,能学习一下 可直接使用。 已通过测试。 (matlab calculus lecture notes ppt, including algorithms, program source code and other non-very good pound, and can learn can be used directly. Has been tested.)
    2012-07-25 22:57:21下载
    积分:1
  • Threespacefractalinsert
    内含三维空间中的分形插值算法源代码。双击Debug下的Fractal Example.exe文件,程序运行;双击Fractal Example.dsw文件,进入编辑环境。(3D space containing the fractal interpolation algorithm source code. Double-click the Debug Fractal Example.exe documents, operating procedures; Double-click Fractal Example.dsw documents to enter editing environment.)
    2007-03-07 08:51:14下载
    积分:1
  • prime2.c
    Prime number program. Edit v2. Written in C
    2015-03-21 20:05:09下载
    积分:1
  • 3
    输入圆的半径求周长和面积。程序由三个函数组成:主函数进行输入输出和函数调用,perimeter函数求周长,area函数求面积。(Enter the radius of the circle circumference and area requirements. Program consists of three functions: the main input and output functions and function calls, perimeter function evaluation perimeter, area function for the area.)
    2013-12-25 20:53:57下载
    积分:1
  • shangchuan
    用matlab实现混沌系统的李雅普诺夫指数图 分数阶程序。(using matlab to achieve Lyapunov and fractional order precedure)
    2014-11-06 09:49:52下载
    积分:1
  • ChildFrm
    The first scheme is based on the spatial locality of feature vectors corresponding to similar images. Learning is effected by modifying the query vector to incorporate the positive examples. The second scheme is based on “distorting” our view of the feature space. An new similarity distance between an image and the query is learned from the relevance feedback.
    2009-11-23 06:51:13下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载