您的位置： 专家智库 > >

孙伟瑄

作品数：2 被引量：0H指数：0
供职机构：北京航空航天大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文专利

领域

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

主题

  • 2篇形式化
  • 2篇形式化验证
  • 2篇映射
  • 2篇声明
  • 2篇活动图
  • 2篇UML活动图
  • 2篇EVENT-...

机构

  • 2篇北京航空航天...

作者

  • 2篇张虹
  • 2篇孙伟瑄
  • 2篇胡思远

年份

  • 1篇2018
  • 1篇2016
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
一种从UML活动图到Event-B模型的转换方法
本发明是一种从UML活动图到Event‑B模型的转换方法，属于计算机软件工程领域。确定UML活动图的模型元素：发起活动的对象、基本活动和活动流；建立对象集合和活动集合，建立不变式以保证每个活动只属于一个对象，将活动的前置...
张虹孙伟瑄胡思远
文献传递
一种从UML活动图到Event-B模型的转换方法
本发明是一种从UML活动图到Event?B模型的转换方法，属于计算机软件工程领域。确定UML活动图的模型元素：发起活动的对象、基本活动和活动流；建立对象集合和活动集合，建立不变式以保证每个活动只属于一个对象，将活动的前置...
张虹孙伟瑄胡思远
全选 清除 导出
共1页<1>
聚类工具0