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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • iphonedock
    这是一个特效是仿照苹果电脑煮面的一个特效。这是一个特效是仿照苹果电脑煮面的一个特效。(This is a special effects is modeled as a cooking apple computer special effects. This is a special effects is modeled as a cooking apple computer special effects.)
    2011-10-20 12:23:37下载
    积分:1
  • SINS
    使用C语言写的捷联惯导解算程序,四子样旋转矢量(Using C language to write the strapdown inertial navigation program, four sample rotation vector)
    2017-05-25 23:41:46下载
    积分:1
  • ObjectMovements
    基于Skyline的c#编程5——ObjectMovements(c# program based on Skyline 5)
    2014-02-17 15:23:32下载
    积分:1
  • Basic-Digital-Electrical-Circuit
    Sourc code of basic digital electrical circuit with AND, OR, NOT, NAND, NOR, probes and sources.
    2015-01-11 01:39:29下载
    积分:1
  • MyGUIEngine
    MYGUI3.2改造 - 完善文字的换行显示,并为中文支持自动换行(MYGUI 3.2 transformation- perfect wrap text display, and support for Chinese Wrap)
    2013-12-15 17:59:44下载
    积分:1
  • Yale
    这是一个模式识别中关于主成分分析的特征提取的matlab源码 (This is a pattern recognition principal component analysis on the feature extraction matlab source)
    2010-06-02 09:14:08下载
    积分:1
  • Surface
    利用最速下降法计算最小曲面的面积,初始条件为0,边界条件为正方形固定边界。(Using steepest descent method to calculate the minimum surface area. Initial condition is 0, while boundary condition is square fixed values.)
    2015-02-05 18:36:12下载
    积分:1
  • Netfilter-frame
    netfilter 源码研究,思路比较清晰,很好的新手学习资料。(netfilter source research, clearer thinking, a good novice learning materials.)
    2015-03-25 16:25:32下载
    积分:1
  • ee
    说明:  校园导航 校园导航的c程序 希望能帮助到大家!(school point)
    2015-01-20 21:15:28下载
    积分:1
  • NetWorkOp
    Annau University network lab programs
    2010-10-23 09:56:30下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载