网站首页

uppaal-4.0.13-aca

于 2013-11-18 发布文件大小:5532KB

 0  141

下载积分: 1 下载次数: 6

我要下载

代码说明：

Uppal is a prototype verification tool to maodel and verify prototype

下载说明：请别用迅雷下载，失败请重下，重下不扣分！

发表评论

0 个回复

killpps2013-12-9
pps.tv进程专杀,可以设置为开机计划任务，自动清除安装pps.tv后自动运行的两个进程：ppskernel和ppsprotec,这两个进程大量占用网络带宽。(pps.tv process kill tool)

2013-12-11 13:57:10下载

积分：1
123
2元BPSK调制加高斯信道硬判决统计误码率(2 yuan plus Gaussian channel BPSK modulation hard decision error rate statistics)

2013-12-12 14:58:58下载

积分：1
Zeller
　蔡勒（Zeller）公式：是一个计算星期的公式。　　随便给一个日期，就能用这个公式推算出是星期几。(Zeller (Zeller) formula: It is a formula for calculating week. Casual to a date, can be calculated using this formula out of the week.)

2009-12-07 09:42:35下载

积分：1
StaticMember.cpp
Constructor Example with class

2011-01-28 15:53:13下载

积分：1
codingswitch
编码开关源代码，实现音响的音量控制前级输入，(Coding switch the source code to achieve sound volume control preamplifier input,)

2009-12-25 15:42:52下载

积分：1
20130422
matlab毕业设计的一个小程序我非常需要用用你们网站上的资料但是不知道怎么弄我就在试试的，(Matlab graduate design a small program I really need to use on your site, but do not know how to get me to try,)

2013-04-24 13:43:54下载

积分：1
pv
A PHOTOVOLTAIC PANEL MODEL IN MATLAB/SIMULINK

2013-10-19 18:18:44下载

积分：1
uc610
UC1610 program ,pls see it ,welcome(UC1610 program, pls see it, welcome)

2008-01-11 08:46:20下载

积分：1
FuzzyAnti-windup
Fuzzy Anti-Windup Schemes for PID Controllers

2010-12-31 12:12:25下载

积分：1
C_lib_functions
一个对C的库函数比较全面的收集，方便编程人员的查看和参考(a collection of C lib funtions, it covers most C lib functions)

2010-01-09 00:14:35下载

积分：1

696518资源总数
105531会员总数
4今日下载

uppaal-4.0.13-aca

0 个回复

热门标签

热门下载