咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 uml
  • 1 篇 symbolic model c...
  • 1 篇 model

机构

  • 1 篇 helsinki univers...

作者

  • 1 篇 tommi junttila
  • 1 篇 jori dubrovin

语言

  • 1 篇 英文
检索条件"主题词=Symbolic Model Checking of Hierarchical UML State Machines"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
symbolic model checking of hierarchical uml state machines
Symbolic Model Checking of Hierarchical UML State Machines
收藏
分享
引用
2008 8th International Conference on Application of Concurrency to System Design(ACSD 2008)
作者： Jori Dubrovin Tommi Junttila Helsinki University of Technology (TKK) Dept.of Information and Computer Science P.O.Box 5400 FI-02015 TKKFinland
A compact symbolic encoding is described for the transition relation of systems modeled with asynchronously executing,hierarchical uml state machines that communicate through message passing and attribute *** enables ... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件