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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • gafap
    机器人的路径算法(人工智能§自动规划§用于模拟机器人规划的模拟软件 [zhangzhiguang2.rar] - 用势场法的原理实现的vc搜索最短路径程序,改进后的势场法,实用。 (机器人的路径算法()
    2010-06-01 18:55:26下载
    积分:1
  • Embeddreatment
    基于嵌入式设计的废气处理自动控制系统Embedded design based automatic control system for waste gas treatment(Embedded design based automatic control system for waste gas treatment)
    2011-01-25 19:51:33下载
    积分:1
  • lvrt5
    风力发电机的matlab仿真程序,有低压穿越功能的仿真模型(The wind generator of matlab simulation program, have low voltage across the function of the simulation model )
    2012-05-17 18:01:00下载
    积分:1
  • matla-tu-xiang-chu-li-yuan-cheng-xu
    matlab图像处理示例详解,杨丹,赵海滨等,书中的源程序(Detailed matlab image processing example, Dan Yang, Zhao Haibin, etc., in the book of the source)
    2013-08-21 21:15:20下载
    积分:1
  • rs
    说明:  这是一个rs编码程序,希望能帮到大家,可以查漏补缺。(This is a rs coding procedures, I hope to help you, can leak filled.)
    2014-10-22 10:29:21下载
    积分:1
  • wa814
    真的是一个好程序,LDPC码的完整的编译码,matlab编写的元胞自动机。( Really is a good program, Complete codec LDPC code, matlab prepared cellular automata.)
    2017-05-22 22:11:08下载
    积分:1
  • kev
    这是一个开机自启的控制台应用程序,实在没什么东西拿的出手,但是想看看别人的东西,所以就把这个上载了。大家感兴趣的话可以找我帮忙把他可视化(This is a boot from Kai console application, there really is something to take the shot, but would like to see other people' s stuff, so put this uploaded. We are interested in, then you can ask me for help visualize him)
    2013-12-30 14:17:57下载
    积分:1
  • CHAPTER3
    pid自适应控制器学习和程序大家学习,很好用的(请求权)
    2010-09-17 10:53:30下载
    积分:1
  • Desktop
    多径效应的时域表示实际上就是不同路径来的信号存在随机的时延差。对于抗其它扩频信号干扰性能,及抗多址干扰性能。我们这里考虑简单的情况,只考虑一个用户干扰的情况,说明其具有抗多址干扰性能就行。(Multipath effect is actually a time domain representation of the signal path to the existence of different random time delay difference. Other spread spectrum signal for the anti-interference performance, and anti-MAI performance. Here we consider the simplest case, considering only one user interference, indicating its performance with anti-multiple access interference on the line.)
    2013-11-13 16:37:09下载
    积分:1
  • dataliink.c
    计算机网络数据链路选择性重传实验。   设计一个滑动窗口协议,在仿真环境下编程实现有噪音信道环境下两站点之间无差错双工通信。信道模型为8000bps 全双工卫星信道,信道传播时延270毫秒,信道误码率为,信道提供字节流传输服务,网络层分组长度固定为256字节。(Computer network data link selective retransmission experiment. Design of a sliding window protocol in simulation programming environment there is no error duplex communication channel between the noisy environment the two sites. Channel model is 8000bps full-duplex satellite channel, the channel propagation delay 270 ms, channel bit error rate, channel provides a byte stream transmission services, network layer packet length is fixed at 256 bytes.)
    2013-11-26 19:19:51下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载