您的位置： 专家智库 > >

柴玲玲

作品数：2 被引量：0H指数：0
供职机构：北京大学深圳研究生院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文专利

领域

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

主题

  • 2篇容错
  • 2篇容错性
  • 2篇状态机
  • 2篇可重用
  • 2篇函数库
  • 2篇参考模型
  • 1篇用户
  • 1篇用户自定义
  • 1篇自定义
  • 1篇回调

机构

  • 2篇北京大学

作者

  • 2篇柴玲玲
  • 2篇刘畅
  • 2篇刘晴晴
  • 2篇李秋平
  • 2篇王新安
  • 2篇谢峥
  • 2篇连志斌

年份

  • 1篇2017
  • 1篇2013
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
一种可重用的参考模型结构及其建模方法与函数库
本发明提出了一种可重用的参考模型结构及其建模方法与函数库。该参考模型结构中，包含一种特殊的状态机核，可以从被验证设计的不同功能角度描述其内部状态，具有容错性和容非完整性，由抽象事件驱动，可以重用早期检验设计功能理解正确性...
谢峥王新安连志斌李秋平刘晴晴刘畅柴玲玲
文献传递
一种可重用的参考模型结构及其建模方法与函数库
本发明提出了一种可重用的参考模型结构及其建模方法与函数库。该参考模型结构中，包含一种特殊的状态机核，可以从被验证设计的不同功能角度描述其内部状态，具有容错性和容非完整性，由抽象事件驱动，可以重用早期检验设计功能理解正确性...
谢峥王新安连志斌李秋平刘晴晴刘畅柴玲玲
全选 清除 导出
共1页<1>
聚类工具0