您的位置： 专家智库 > >

蔡宇

作品数：1 被引量：2H指数：1
供职机构：武汉大学计算机学院更多>>
发文基金：教育部留学回国人员科研启动基金湖北省自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇CNET
  • 1篇PETRI网

机构

  • 1篇武汉大学

作者

  • 1篇周国富
  • 1篇孙韵秋
  • 1篇蔡宇

传媒

  • 1篇计算机科学

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
CCNeter:C程序代码Petri网自动建模工具被引量：2
2011年
CCNeter是实现扩展的Petri网——CNet自动可视化建模的工具,对程序语句从数据、操作和控制3个方面进行描述,刻画了程序代码中数据、操作以及控制之间的关系。它通过解析C工程中文件、函数模块、变量之间的依赖关系,自动形成程序的CNet规范,并根据CNet规范自动进行图形绘制和布局。CCNeter是实现程序静态分析自动化的重要前提。
周国富孙韵秋蔡宇
关键词：PETRI网CNET
全选 清除 导出
共1页<1>
聚类工具0