您的位置： 专家智库 > >

沈思琪

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

合作作者

文献类型

  • 2篇中文专利

领域

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

主题

  • 2篇语义
  • 2篇语义层
  • 2篇语义层面
  • 2篇搜索
  • 2篇自动机
  • 2篇接口
  • 2篇服务接口
  • 2篇长事务

机构

  • 2篇国防科学技术...

作者

  • 2篇沈思琪
  • 2篇张圣栋
  • 2篇陈振邦
  • 2篇王戟
  • 2篇樊沛
  • 2篇沈锐

年份

  • 1篇2012
  • 1篇2010
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
具备长事务特征服务接口的验证方法
本发明公开了一种具备长事务特征服务接口的验证方法，要解决的技术问题是：提出一种针对具备长事务特征服务接口的验证方法来验证服务接口是否满足关键性质，以避免语义层面的验证所面临的状态爆炸问题。技术方案是先使用自动机和函数来定...
王戟陈振邦沈锐张圣栋沈思琪樊沛
具备长事务特征服务接口的验证方法
本发明公开了一种具备长事务特征服务接口的验证方法，要解决的技术问题是：提出一种针对具备长事务特征服务接口的验证方法来验证服务接口是否满足关键性质，以避免语义层面的验证所面临的状态爆炸问题。技术方案是先使用自动机和函数来定...
王戟陈振邦沈锐张圣栋沈思琪樊沛
文献传递
全选 清除 导出
共1页<1>
聚类工具0