联盟首页 协同开发 共创软件 开放源码 软件工程 共创论坛 关于联盟
  您的位置 » 开放源码库【成熟】 - 项目摘要 首页 | 分类源码 | 提交源码 | 下载统计 | 原创源码 | 成熟源码 | 代码片断
 
 UPPAAL Timed Automata Parser Library - 项目摘要
摘要 | 管理 | 论坛
文档 | 软件包

源码库中源码数量为15579
有贡献人员名单:

-= 更多 =-
  • ffdshow
  • Air Traffic Controller
  • jasperreports
  • PoolMan
  • Apache-SSL-Jserv
  • virtualdub-win
  • CppUnit
  • GLgraph
  • Step Mania
  • FCK editor
    • -= 更多 =-

    项目描述:
    The UPPAAL Timed Automata Parser Library (libutap) is the parser library used by UPPAAL. It includes a type checker and supports the TA, XTA, and XML file formats.
    UPPAAL Timed Automata Parser Library(libutap)是一种被UPPAAL使用的语法分析程序库。它包括一个类型检测器，并支持TA、 XTA和XML文件格式。
    类别:
    发布者： sgwsun
    最新发布源码包
    软件包 版本号 日期 本地下载
    0.20  0.20  2003-03-05 下载

    原始下载连接(国外) http://www.cs.auc.dk/~behrmann/utap/libutap-0.20.tar.gz

      » 合 作 伙 伴