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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • malloc
    ics 的malloc实现,采用分离存储,模拟memory的malloc和free等操作。(to realize the molloc and free operation, the lab of ics class)
    2014-01-09 10:36:34下载
    积分:1
  • fftc_
    TI的FFT协处理器对应的源代码和matlab代码(Source code and matlab code corresponding to the FFT coprocessor of TI )
    2013-11-05 17:57:18下载
    积分:1
  • gui
    运用matlab软件,进行回归运算,方便快捷(Use matlab software, regression calculation, convenient)
    2013-09-14 10:17:53下载
    积分:1
  • hilbert
    希尔伯特黄变换(HHT)变换,在众多领域都有应用,适合初学者学习(Hilbert Huang Transform (HHT) transformation has applications in many fields, suitable for beginners to learn)
    2013-08-18 10:06:27下载
    积分:1
  • Matlab-and-C-mixed-programming
    Matlab转换为dll库再与C混合编程(Matlab and C mixed programming)
    2014-09-11 21:54:54下载
    积分:1
  • lyapunovexponentfordifferentialsystem
    计算微分方程系统的Lyapunv exponent,在非线性动力学和有关混沌的研究中非常有用。(calculated differential system Lyapunv exponent, Nonlinear Dynamics and Chaos in the study very useful.)
    2007-01-30 12:56:45下载
    积分: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
  • Pseudo-satout
    说明:  北斗导航系统Pseudo-satellite in the Compass Navigation System Layout(Pseudo-satellite in the Compass Navigation System Layout)
    2011-04-04 12:26:30下载
    积分:1
  • 76545576
    自定义风格的SegmentedControl,IOS编程学习源码,很好的参考资料。(A custom style SegmentedControl, learning IOS programming source code, a good reference.)
    2013-12-05 09:13:30下载
    积分:1
  • bandreconstructmmse
    DCT域分布式视频编码经典MMSE重建C++代码(DCT Distributed video coding tipal MMSE recostruction C++ code)
    2015-01-05 11:34:37下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载