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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • 8471ktvrar
    em8471 vod点播软件.em8471 vod点播软件.(em8471 vod system)
    2009-05-22 12:33:51下载
    积分:1
  • ulib-2.1.0_src.tar
    The ULIB is a collection of efficient building blocks for developing high-performance and scalable systems in C and C++. These building blocks mainly cover, multithreading, parallel computing, efficient data indexing, numerical approximation, and cryptography.
    2014-11-03 11:55:05下载
    积分:1
  • (ebook---pdf)-Matlab-CPP-Math-Library-Reference-v
    matlab ebook for electroniks
    2011-05-07 04:40:36下载
    积分:1
  • cd
    说明:  <最优化及matlab的应用>课后题的编程(Most optimized operating)
    2013-10-20 07:46:40下载
    积分:1
  • polyphase
    这个是多相滤波的MATLAB程序,做接收机的同学可以参考的(this is a polyphase programme)
    2013-11-06 20:01:53下载
    积分:1
  • 5317d32367a9
    说明:  互信息求时间延迟的C语言程序,可以应用在MTALAB中(mutual-informationg C)
    2011-02-24 10:16:57下载
    积分:1
  • houzizhaitao
    猴子摘桃海滩上有一堆桃子,五只猴子来分。第一只猴子把这堆桃子凭据分为五份,多了一个,这只 猴子把多的一个扔入海中,拿走了一份。第二只猴子把剩下的桃子又平均分成五份,又多了 一个,它同样把多的一个扔入海中,拿走了一份,第三、第四、第五只猴子都是这样做的, 问海滩上原来最少有多少个桃子?(Peach Monkeys on the beach there is a pile of peaches, five monkeys for points. The first monkey peach credentials this heap is divided into five copies, more than one, the monkey to more than one thrown into the sea, took a. The second monkey the rest of the peaches and what the average is divided into five, and there are one, and it is likewise more than one thrown into the sea, took a third, fourth, fifth monkeys are actually doing that , the question on the beach for at least the number of the original peach?)
    2009-12-24 15:33:40下载
    积分:1
  • matlab-WORD
    说明:  这是一份介绍MATLAB的WORD版教程,里面有具体的实例,对于初学者很有用,欢迎大家下载学习。(This is a description of the WORD version of MATLAB tutorial, there are specific examples useful for beginners, are welcome to download the study.)
    2011-04-14 23:27:07下载
    积分:1
  • yuandaima
    matlab GUI界面程序设计源代码 对编界面的初学者十分有用(matlab GUI interface programming source code compiled interface is very useful for beginners)
    2012-09-21 11:37:08下载
    积分:1
  • VC_M
    说明:  VC调用matlab,实现VC与matlab混合编程,效果很好(VC call matlab, matlab mixed programming with VC to achieve good results,)
    2011-04-12 15:25:36下载
    积分:1
  • 696518资源总数
  • 106148会员总数
  • 10今日下载