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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • guidefilter
    引导滤波guidedfilter的opencv实现(guidedfilter s opencv version)
    2015-04-01 22:56:18下载
    积分:1
  • 6803
    关于LTC6803的相关资料和实例程序,包括1234几种类型,希望有帮助,大家一起探讨(About LTC6803 relevant information and examples of procedures, want to help, you can contact incomplete information, we explore together)
    2014-01-22 17:25:23下载
    积分:1
  • QQQ
    vqr decompostion using new method
    2011-10-16 19:38:54下载
    积分:1
  • FILTER
    关于FIR低通滤波器的C语言程序设计以及MATLAB程序设计,仿真验证通过(About the C Programming Language FIR low-pass filter MATLAB programming, simulation validation by)
    2013-01-26 21:02:06下载
    积分:1
  • matlab
    信号的预处理,去除趋势项,以达到我们所要的信号的形式,效果比较好(Signal pre-processing to remove the trend term, we want to achieve in the form of signals, results were better)
    2011-11-03 20:29:42下载
    积分:1
  • c
    电力系统短路故障计算 ,应用于电力系统分析。(Power system fault calculation)
    2009-12-16 10:38:50下载
    积分:1
  • DLT645
    电力抄表规约dl/t645调试软件,有助于开发645抄表程序(Electricity meter reading of the Statute dl/t645 debugging software, helps to develop 645 meter-reading program)
    2009-11-18 22:15:09下载
    积分:1
  • lab2.2
    prgramm that calculates the greatest common factor of two numbers
    2013-11-11 07:02:59下载
    积分:1
  • tgx
    matlab学习资料,一个倒立摆的练习题,适合初学者(matlab learning materials, an inverted pendulum exercises for beginners)
    2012-10-22 14:00:26下载
    积分:1
  • systemofemployer
    完整的一个系统实例,关于职工的信息方面,很有借鉴意义。(Complete example of a system, information on employees, great reference.)
    2010-09-10 10:03:25下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载