您的位置： 专家智库 > >

于宁

作品数：2 被引量：2H指数：1
供职机构：中国传媒大学计算机与软件学院更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

  • 2篇自动化与计算...
  • 1篇电子电信

主题

  • 2篇电视
  • 2篇数据广播
  • 2篇数字电视
  • 2篇状态机
  • 2篇广播
  • 2篇SMV
  • 1篇机顶盒

机构

  • 2篇中国传媒大学

作者

  • 2篇于宁
  • 2篇闫坚
  • 2篇王永滨
  • 2篇杨莹

传媒

  • 1篇系统仿真学报
  • 1篇第十次全国P...

年份

  • 2篇2005
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
SMV在开发数字电视硬盘机顶盒中的应用被引量：2
2005年
数字电视硬盘机顶盒是一个逻辑复杂软件系统,因此,在逻辑模型设计阶段引入SMV工具分析其有限状态,就会从理论上保证了软件逻辑结构的正确.本文介绍了如何使用SMV方法及其软件对数字电视硬盘机顶盒的系统进行建模和分析,如何验证软件中各个线程的逻辑状态配置的正确和合理性.这种方法对软件开发中的有限状态分析有较大帮助.
杨莹王永滨闫坚于宁
关键词：机顶盒数据广播SMV状态机
SMV在开发数字电视硬盘机顶盒中的应用
数字电视硬盘机顶盒是一个逻辑复杂软件系统,因此,在逻辑模型设计阶段引入SMV工具分析其有限状态,就会从理论上保证了软件逻辑结构的正确.本文介绍了如何使用SMV方法及其软件对数字电视硬盘机顶盒的系统进行建模和分析,如何验证...
杨莹王永滨闫坚于宁
关键词：数字电视数据广播SMV状态机
文献传递
全选 清除 导出
共1页<1>
聚类工具0