LOTOS语言介绍  

作　　者：李伟 

机构地区：[1]中国电波传播所计算中心

出　　处：《计算机与信息处理标准化》1996年第3期19-44,共26页

摘　　要：本文简单介绍了形式描述技术（ＦＤＴ）的特点，对ＬＯＴＯＳ语言进行了指导性介绍。

关 键 词：LOTOS语言 形式描述技术 信息处理 

分 类 号：TP312LO[自动化与计算机技术—计算机软件与理论]