LOTOS语言介绍

• 作者: 李伟
• 来源期刊: 计算机与信息处理标准化
• 学科: 工学
• 关键词: LOTOS语言 形式描述技术 信息处理
• 年，卷（期）: 1996,（3）
• 页码范围: 19-44
• 页数: 26页
• 分类号: TP312LO

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李伟		1	0	0.0	0.0