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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • matcode
    brain tumor codebrain tumor codebrain tumor codebrain tumor codebrain tumor codebrain tumor codebrain tumor codebrain tumor code
    2013-10-15 12:36:24下载
    积分:1
  • VS-2005-CSharp-and-Matlab7
    这是一款实现是在vs2005编程过程中,如何调用matlab7的代码的软件,着实可用(This is a realization in vs2005 programming process, how to call matlab7 code of the software is, indeed, can be used)
    2011-12-06 11:49:25下载
    积分:1
  • Mastering-Algorithms-with-C-Loudon.pdf
    The E-book is good to master in C.
    2014-10-16 12:43:16下载
    积分:1
  • lyap_wolf
    使用wolf方法求最大lyapunov指数,核心算法为c语言,接口为matlab(method for the use of wolf largest lyapunov index, the core algorithm c language, Interface to Matlab)
    2006-12-27 12:10:41下载
    积分:1
  • anim_pres
    fortran的matlab代码,可以将fortran仿真结果可视化(fortran matlab code, you can visualize simulation results fortran)
    2014-02-20 21:05:27下载
    积分:1
  • Viterbi算法简洁注释版
    说明:  Viterbi算法源程序,注释简洁,利于使用(Viterbi algorithm source, concise notes, beneficial use)
    2005-11-10 17:06:54下载
    积分:1
  • Matlab-source-numerical-processing
    matlab数值处理源程序,绝对值得下载的源码好程序(Matlab source numerical processing)
    2013-11-12 12:16:36下载
    积分:1
  • Matlab-test-CPP
    matlab调用C++程序,实现for循环加速。有详细步骤,供同学参考~谢谢!(call C++ matlab program to achieve for loop acceleration. There are detailed steps for students to reference ~ Thank you!)
    2013-12-17 10:21:41下载
    积分:1
  • UART-Product-
    As an industry-leading supplier of universal asynchronous receiver/transmitters (UARTs), Texas Instruments provides products designed to improve system performance and meet the needs of next-generation applications.
    2013-12-24 21:11:59下载
    积分:1
  • killhimself
    有关于——程序自杀技术实现——的一些简单代码,,,,,,(About- suicide technology program some simple code ,,,,,,)
    2010-05-13 22:28:28下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载