未找到相关数据
形式描述技术及其应用
被引：1
作者：
胡家宝
机构：
[1] 武汉水运工程学院
来源：
关键词：
决策模型;
函数;
数学模型;
通信协议;
通信规程;
形式描述语言;
形式描述技术;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
本文论述了形式方法的概念.讨论了几种用于计算机通信协议的形式描述语言,在此基础上讨论了由形式描述技术发展起来的有关协议工程的概念,发展和它的主要内容。最后结合一个决策模型,给出了该模型的 Pet(?)网形式描述。
引用
收藏
页码：43 / 48
页数：6
相关论文