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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • s变换
    说明:  S变换源码,附带详细的英文注释,可直接调用函数进行变换(S-Transform function with some examples)
    2020-11-21 13:36:49下载
    积分:1
  • nu
    说明:  一个多输入多输出小波网络的源程序,用matlab编写,能够实现对时间序列数据的训练预测(A multi-input multi-output wavelet network' s source code, written with matlab, can be achieved on the training time series data forecasting)
    2010-05-26 19:49:32下载
    积分:1
  • VC++_Matlab_pdf
    说明:  Matlab与VC混合编程实例,rar格式(Matlab and VC mixed programming examples, rar format)
    2005-12-24 11:37:12下载
    积分:1
  • PV_BAT_PMSM_REC_VF
    仿真一个微电网历程,使用simulink2011b版本,包括光伏发电 风力发电 储能系统等。(simulate a micro grid by using simulink 2011b)
    2017-12-04 19:36:49下载
    积分:1
  • MyMathematica
    说明:  学习C调用Mathematica内核函数的一个例子,包括计算和图形接口.(Learning C calling Mathematica kernel functions with examples, including computing and graphics interfaces.)
    2010-04-05 01:44:26下载
    积分:1
  • main
    簡單的四方形車牌辨識功能,沒有很完整,但可以偵測出部份四邊形(A simple square plate recognition, not very complete, but it can detect part of the quadrangle)
    2010-01-06 22:37:30下载
    积分:1
  • D-S
    基于plc的电流保护计算,配电网安全肯故障检测分析.(Calculated based plc s current protection.Distribution Network security is willing to fault detection analysis.)
    2010-05-13 19:04:51下载
    积分:1
  • saolei
    这是一本很经典的教程!不知道有人传过没有。先传上来,希望有用(This is a very classic tutorial! Some people do not know they could not mass. Chuan-first onto the hope that useful)
    2008-03-24 18:38:04下载
    积分:1
  • MATLAB+DSP
    数字滤波器的MATLAB设计与DSP上的实现(Digital Filter Design with MATLAB DSP Implementation)
    2007-04-18 14:51:24下载
    积分:1
  • The-FDTD-Method---Computation-and-Analysis
    fdtd program,using the matlab program ,very good
    2012-05-28 17:15:36下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载