注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. uppaal-4.0.14-aca.zip

  2. UPPAAL is an integrated tool environment for modeling, simulation and, verification of real-time embedded systems. Typical application areas of UPPAAL includes real-time controllers and communication protocols in particular, those where timing aspec

  3. 所属分类：嵌入式

    • 发布日期：2015-04-17
    • 文件大小：5mb
    • 提供者：u012626734

  1. uppaal.zip

  2. 主要是一些uppaal的教程，可以通过这些教程对如何使用uppaal有个初步了解。以上就是这份资料的主要内容了。。。

  3. 所属分类：互联网

    • 发布日期：2020-05-20
    • 文件大小：3mb
    • 提供者：fbj_bai

  1. uppaal-4.1.24.zip

  2. uppaal-4.1.24.zip

  3. 所属分类：其它

    • 发布日期：2021-03-03
    • 文件大小：28mb
    • 提供者：weixin_55742295