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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • matlab-junheng
    均衡技术的matlab仿真。包括时域均衡和频域均衡后的信噪比对比(Equalization matlab simulation. Including time domain equalization and frequency domain equalization SNR comparison)
    2013-08-28 21:52:03下载
    积分:1
  • Mseires
    用MATLAB产生M序列作为系统的输入,根据传递函数,仿真输出,并得出输入的自相关函数和输入输出的互相关函数。(M sequence generated by MATLAB as input, in accordance with transfer function, simulation output, and come to enter the auto-correlation function and the input and output of the cross-correlation function.)
    2009-06-18 22:21:51下载
    积分:1
  • OpenCV_2_Computer_Vision_Application_Programming_
    open cv 2 computer vision emgu
    2015-02-10 03:17:37下载
    积分:1
  • MATLAB7Xmixedprograming
    深入浅出MATLAB 7.x混合编程,重点介绍了matlab7.x和其它编程语言的接口问题对混合编程而言不啻一本难得的好书(Layman' s language and MATLAB 7.x hybrid programming, focusing on the matlab7.x and other programming languages programming interface issues in terms of the mixed rare books as good a)
    2010-10-10 10:33:09下载
    积分:1
  • MATLAB+DSP
    数字滤波器的MATLAB设计与DSP上的实现(Digital Filter Design with MATLAB DSP Implementation)
    2007-04-18 14:51:24下载
    积分:1
  • matlab-baodian-yuanwenjian
    说明:  matlab宝典的很多程序和实例,这本书很有用,是系统学习matlab的好资料,欢迎大家下载.(Collection of the many procedures and matlab examples, this book is useful, is the systematic study of matlab good information, are welcome to download.)
    2011-03-21 23:19:26下载
    积分:1
  • SCME
    C语言和matlab语言混编的 3GPP里的LTE信道模型SCME,压缩包内含代码和说明文档(C and MATLAB implementation of the 3GPP Spatial Channel Model Extended (SCME))
    2010-06-13 13:53:39下载
    积分:1
  • matlab_simulink_udp_CSharp
    matlab/simulink搭接模型,采用UDP协议发送数据;c#控制台程序采用相同协议接收数据。(matlab/simulink build model, using UDP protocol to send data c# console application receives data using the same protocol. .)
    2020-11-10 22:29:46下载
    积分:1
  • cumcm2014problems
    大学生数学建模的书籍以及训练习题,和答案,应该对参赛的选手有一定的帮助。(Mathematical modeling of books and training exercises, and answers for participating players should have some help.)
    2015-04-11 21:15:13下载
    积分:1
  • kt878
    仿真图是速度、距离、幅度三维图像,合成孔径雷达(SAR)目标成像仿真,可以广泛的应用于数据预测及数据分析。( FIG simulation speed, distance, amplitude three-dimensional image, Synthetic Aperture Radar (SAR) imaging simulation target, Can be widely used in data analysis and forecast data.)
    2017-05-07 23:04:37下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载