您的位置： 专家智库 > >

张晓霞

作品数：2 被引量：1H指数：1
供职机构：中国民航大学电子信息工程学院更多>>
发文基金：中国民航大学科研基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

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

领域

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

主题

  • 2篇SDL
  • 1篇形式化
  • 1篇形式化描述
  • 1篇形式化描述语...
  • 1篇描述语言
  • 1篇GSM系统
  • 1篇MSC

机构

  • 2篇中国民航大学

作者

  • 2篇张晓霞
  • 2篇李冬霞
  • 1篇李元柳

传媒

  • 1篇通信技术
  • 1篇第三届中国系...

年份

  • 2篇2008
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于SDL的GSM系统设计与实现
本文采用形式化描述语言SDL对目前仍占主流地位的GSM系统进行了系统、块、进程和过程等分层抽象并对其进行形式化描述。以其中的呼叫过程为例，研究了如何对GSM系统的SDL描述进行仿真、验证与实现，并结合Msc仿真跟踪图，证...
张晓霞李冬霞
关键词：GSM系统
文献传递
基于SDL的停止等待协议设计与实现被引量：1
2008年
介绍了形式化描述语言SDL及SDL语言中面向对象的技术,并以停止等待协议为例,研究了协议的形式化开发全过程。重点研究如何利用面向对象的技术对协议进行形式化开发,及如何结合MSC对协议系统进行分析和验证。
张晓霞李元柳李冬霞
关键词：SDLMSC
全选 清除 导出
共1页<1>
聚类工具0