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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • Kriging
    克里格法(Kriging)是地统计学的主要内容之一,从统计意义上说,是从变量相关性和变异性出发,在有限区域内对区域化变量的取值进行无偏、最优估计的一种方法;从插值角度讲是对空间分布的数据求线性最优、无偏内插估计一种方法。(Kriging (Kriging) is one of the main geostatistics, statistically speaking, is the variable correlation and variability within a limited area of the value of regionalized variables unbiased, best a method for estimation speaking the perspective of a data interpolation spatial distribution of solving linear optimal, unbiased estimate of the interpolation method.)
    2014-12-16 16:34:29下载
    积分:1
  • TestArray
    一个小程序,通过使用vc++调用MATLAB求特征值和特征向量和插值。(A small procedure, by using vc++ to call MATLAB for eigenvalues and eigenvectors and interpolation.)
    2009-03-02 22:26:32下载
    积分:1
  • Vis
    Supermarket cashier system .doc(Supermarket cashier system )
    2014-01-08 22:59:33下载
    积分:1
  • fd1d
    电磁场仿真 使用时域有限差分方法 用c和matlab混合编程(Electromagnetic simulation using the FDTD method for hybrid programming with c and matlab)
    2011-05-12 01:12:28下载
    积分:1
  • selection-sort
    Program to implement selection sort
    2014-09-20 12:30:04下载
    积分:1
  • hubert28-HaiFengTerminal-master
    海风ctp终端最新源码 包含策略源码 平台(ctp HaiFengTerminal sourecode)
    2015-04-05 11:35:11下载
    积分:1
  • 1.BATChargenew(1)
    battery charger program for chrarger development
    2014-01-30 18:48:11下载
    积分:1
  • get-father-process-name
    在应用程序中调用内核函数获取父进程的全路径名的最好方法。在辨识由谁启动的时候要用。(关闭翻译英语中文德语检测语言 中文(简体)英语日语 翻译文字或网页 在应用程序中调用内核函数获取父进程的全路径名的最好方法。在辨识由谁启动的时候要用。 请键入文字或网站地址,或者上传文档。 取消 Zài yìngyòng chéngxù zhōng tiáo yòng nèihé hánshù huòqǔ fù jìnchéng de quán lùjìng míng de zuì hǎo fāngfǎ. Zài biànshì yóu shuí qǐdòng de shíhou yào yòng.The best way to call the kernel function to get the full path name of the parent process in the application. In recognition of who started the time to use.)
    2013-11-26 11:04:11下载
    积分:1
  • kalmanhsjkdskmatlab
    kalman 滤波的 matlab 程序 (Kalman filtering procedures Matlab)
    2007-04-18 13:25:58下载
    积分:1
  • jia
    说明:  多项式相加简单程序,欢迎大家评价~~~~~(Add a simple polynomial procedure, welcome to evaluate ~~~~~)
    2010-04-05 17:40:38下载
    积分:1
  • 696524资源总数
  • 103995会员总数
  • 22今日下载