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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • Odefun5
    间歇反应釜的matlab建模,M文件,c可自由改变(Modeling of batch reactor)
    2013-12-16 20:15:44下载
    积分:1
  • dc_motor_control
    说明:  双闭环控制系统的MATLAB仿真及其说明。很不错的模块。(SPEED & POSITION PID MATLAB)
    2010-04-29 17:30:45下载
    积分:1
  • mclda
    matlab编写的正态云发生器与云拟合程序,其中中有较详细的注释。 ,经测试可直接使用。 (matlab write normal cloud generator and cloud fitting procedures, which have more detailed comments. Has been tested and can be used directly.)
    2012-09-30 12:33:25下载
    积分:1
  • DOA_music
    波达方向估计;MUSIC算法;改进MUSIC算法;修正MUSIC算法(Key words:Direction ofArrival(DOA)estimation;Multiple SignalClassification(MUSIC)algorithm;improved MUSIC algorithm;modified MUSIC algorithm)
    2012-09-11 19:27:35下载
    积分:1
  • Face-recognition-MATLAB-code
    人脸识别matlab代码,可判断是否是库里的人(Face recognition MATLAB code)
    2013-12-18 12:40:26下载
    积分:1
  • Baidu Apollo EM Motion Planner
    说明:  自动驾驶决策仿真,一种自动驾驶路径规划的方法(auto driver matlab simulink)
    2020-11-15 21:59:40下载
    积分:1
  • Vehicle-dynamics
    汽车动力学中汽车四分之一和二分之一MATLAB模型,还有路面谱模型,可以直接运行,效果良好(Vehicle dynamics in a quarter and half car MATLAB model, as well as road spectrum model, you can run directly to good effect)
    2020-07-03 03:00:02下载
    积分:1
  • Gmm232
    利用gmm模型进行特征分析的程序,欢迎与各位相关研究的朋友进行交流(use gmm model analysis procedures, and welcome to friends from the relevant research exchange)
    2006-09-23 00:00:25下载
    积分:1
  • textChangerCPPBuilderXE4
    beginners guide to text file manipulation using borland c++ the project was tested using c++ builder xe4
    2014-08-08 16:30:39下载
    积分:1
  • zhejixiangguan
    两个简单序列的褶积,是地球物理信号处理的简单基本程序(convolution of two alignments)
    2011-12-09 22:29:10下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载