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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • acou
    交错网格声波方程正演模拟,交错网格有限差分地震波场计算,二维的声波正演,利用空间10阶,时间2阶。(The CalCulation of the SeismiC Wave一 fieldwith Staggered-grid Finite difference Sheme)
    2014-01-09 08:44:16下载
    积分:1
  • ds1104_vect_serial
    DS 1014 IMFOC control
    2012-05-16 04:20:45下载
    积分:1
  • matcom_functions
    MATCOM提供了MATLAB到C++的编程接口,本文是MATCOM4.5的说明文档,详细介绍了MATCOM的各个函数和操作符等。(MATCOM MATLAB to C++ provides a programming interface, this article is MATCOM4.5 documentation, detailing MATCOM various functions and operators and so on.)
    2014-08-18 10:39:13下载
    积分:1
  • CHAPTER3
    pid自适应控制器学习和程序大家学习,很好用的(请求权)
    2010-09-17 10:53:30下载
    积分:1
  • myhuf
    对文本文件进行huffman编码,并显示huffman树(to the text document for Huffman coding, and that Huffman tree)
    2005-02-17 10:45:00下载
    积分:1
  • shiyan
    用matlab编写了一个,信源产生经过BPSK调制以及根号升余弦滤波器后再加上载波最后将波形图输出的程序(Using matlab prepared a source after BPSK modulation, as well as the square root raised cosine filter and then with the carrier waveform graph output of the program)
    2012-11-07 22:00:09下载
    积分:1
  • read_txt_1
    过于滤波,采用卡尔曼滤波有关的方法。比较简单。打开文件,希望有用(kalman filter)
    2011-12-09 21:20:28下载
    积分:1
  • MATLAB_NOTE
    MATLAB基础讲课笔记内容,适合初学者,(MATLAB based on the content of lecture notes, suitable for beginners,)
    2008-08-05 09:33:22下载
    积分:1
  • FULL_LOCAL_MG_Q1_FEM
    说明:  五点差分型多重网格方法:各种插值算子的比较)(Five-point difference-type multi-grid methods: a variety of interpolation operator of comparison))
    2008-12-07 21:19:13下载
    积分:1
  • Matlab
    最近找的求解方程的程序,可以借鉴下,挺好的(Solving equations to find the most recent program, you can learn, the very good)
    2011-09-28 08:40:30下载
    积分:1
  • 696516资源总数
  • 106554会员总数
  • 12今日下载