首页> 中文会议>2002全国软件与应用学术会议(NASAC) >解码器通信协议的一种形式化方法

解码器通信协议的一种形式化方法

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文提出解码器通信协议的一种形式化方法(FSPD),以描述不同解码器的通信协议.解码器控制软件读入不同FSPD规格说明书就能控制不同型号的解码器,从而提高了解码器控制软件的可适应性和可重用性.FSPD精确、简单,用它书写的规格说明书可以利用公理语义进行验证.

著录项

来源
《2002全国软件与应用学术会议(NASAC) 》|2002年|327-331|共5页
会议地点北京
作者
袁梦霆; 毋国庆; 舒风笛;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类解码器 ;
关键词
形式化; 数字视频监控; 解码器; 通信协议; 形式化方法; 控制软件;

相似文献

中文文献
外文文献
专利

1. 无人机无线通信协议的形式化认证分析与验证 [J] . 刘栋 ,连晓峰 ,王宇龙 . 计算机测量与控制 . 2021 ,第004期
2. STP安全通信协议设计与形式化验证 [J] . LI Kun ,ZHANG Xuesong . 计算机工程 . 2018 ,第012期
3. 基于通信顺序进程的计算机网络通信协议形式化描述 [J] . 刘芳 . 信息系统工程 . 2016 ,第002期
4. 物联网中安全通信协议的形式化分析 [J] . 高爱玲 . 信息通信 . 2015 ,第006期
5. CBTC系统通信协议的设计和形式化分析 [J] . 杨森 . 中国新通信 . 2015 ,第010期
6. 一种基于B方法的形式化开发方法 [C] . 黄昱 ,马殿富 ,赵永望 . 全国抗恶劣环境计算机第二十四届学术年会 . 2014
7. 通信协议形式化描述和验证理论与方法的研究 [A] . 王宇凡 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号