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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • Bayes++
    BAYESIAN FILTERING: including KF, EKF, Unscented EKF, Particle Filter & etc
    2010-12-02 22:53:47下载
    积分:1
  • matlab
    matlab exercise hope can be useful
    2012-08-06 20:45:46下载
    积分:1
  • MATLAB_and_VC_programing
    MATLAB与VC混合编程实习指导书,介绍了几种实用的在VC环境下调用Matlab中函数的方法(MATLAB and VC internship program guide book)
    2010-07-30 15:42:55下载
    积分:1
  • CPPhuatu
    这是一个鼠标程序,按Ctrl键同时按鼠标左键画圆,按shift同时按鼠标左键画矩形(This is a mouse program, press the Ctrl key while pressing the left mouse button circle, press shift while pressing the left mouse button draw a rectangle...)
    2013-11-18 21:59:19下载
    积分:1
  • IEEE13MATLAB
    IEEE13节点潮流计算程序,采用了MATLAB软件进行编程,利用前退回代法进行配电网的潮流计算(IEEE13 node flow calculation program, using MATLAB software programming, before use of return on behalf of the French distribution network power flow calculation)
    2020-11-25 09:09:39下载
    积分:1
  • MATLAB
    遗传算法计算多目标规划问题 使用简单,语言明了(Multi-objective genetic algorithm is planning to use simple, clear language)
    2010-09-04 16:34:57下载
    积分:1
  • matlab
    matlab basic on fir,matlab basic on fir
    2011-12-27 14:45:42下载
    积分:1
  • OpenTLD-master
    TLD跟踪算法源代码下载(纯C++版本),OpenTLD-master,某大牛重新编写的C++版本TLD跟踪算法,脱离MATLAB。(C++ impleletion of TLD)
    2014-01-16 21:18:38下载
    积分:1
  • FSK-signal-demodulate
    FSK信号鉴频的程序.This program implements the function of finding out the largest and the second largest values of the sequence of "in_buffer[10]"(FSK signal frequency of the procedure. This program implements the function of finding out the largest and the second largest values of the sequence of in_buffer [10] )
    2007-11-14 01:25:46下载
    积分:1
  • matlab
    Tsai标定法的matlab实现 完成图像坐标到世界坐标的转换(Tsai calibration method to achieve the completion of the matlab image coordinate to world coordinate conversion)
    2008-07-07 10:56:19下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载