期刊文章详细信息
扩展有限状态协议机模型及其检证法
文献类型：期刊文章
机构地区：[1]青岛大学理工学院计算机系
年 份：1996
卷 号：9
期 号：3
起止页码：1-10
语 种：中文
收录情况：AJ、CAS、CSA、CSA-PROQEUST、INSPEC、MR、普通刊
摘 要：本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出基于该模型的形式检证法，试制了检证系统。
关 键 词：信道 寄存器 信息论 通讯协议机 检证法
分 类 号：TN911.2]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
