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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • city_Dijkstra.m
    说明:  数学建模中的图论知识来研究最短路径的问题,利用Dijkstra算法matlab实现(Graph theory knowledge in mathematical modeling is used to study the shortest path problem, which is realized by using Dijkstra algorithm matlab.)
    2019-05-27 18:21:32下载
    积分:1
  • 4.01
    HSQARKH 完整源码,这只是一个初步代码,用来实现ARK,做隐藏方面研究的. (HSQARKH complete source code, this is just a preliminary code that is used to achieve ARK, so hidden aspects of the study.)
    2010-01-17 14:56:41下载
    积分:1
  • 1
    说明:  将Minpack库中的LM算法封装成库,经过调试,通过算例运行结果与Matlab中运行出来的结果相差0.01范围内。(Will Minpack library package into the LM algorithm library,After debugging An example is the results is only 0.01 Difference from the result of Matlab s! )
    2009-08-09 22:15:03下载
    积分:1
  • Scientific-and-Engineering-CPP
    Scientific and Engineering C++. Book for developing applications in C++
    2014-12-14 23:33:51下载
    积分:1
  • mex_vc6.0
    利用vc和matlab混编,调试mex文件的方法。附带VC详细操作步骤以及C++源程序(use VC and matlab to debug code )
    2009-04-03 10:37:30下载
    积分:1
  • enframe
    说明:  matlab中,对语音信号分帧,以实现对语音信号的短时平稳过程的分析。(enframe)
    2010-04-03 22:51:56下载
    积分:1
  • LDLTandCholesky
    A=(aij)20×20的LDLT分解与Cholesky分解(A = (aij) 20 × 20 in the LDLT decomposition and Cholesky decomposition)
    2010-12-04 10:53:20下载
    积分:1
  • mutualinformationandpoincaresection
    计算互信息和作庞卡来截面的C程序,很实用,计算速度超快/(Calculation of mutual information and for Ponca to the C-section procedure, it is useful to calculate the speed of ultra-fast /)
    2008-03-27 22:36:26下载
    积分:1
  • MATLAB-7.X
    matlab7.X程序开发以及matlab编程学习(matlab7.X program development and learning matlab programming)
    2013-10-29 08:54:49下载
    积分:1
  • function
    信道编码中turbo码译码代码,采用logmap译码算法实现(turbo decode , lopmap function)
    2013-12-12 14:08:43下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载