| 图形E—LOTOS的一个编辑软件和执行算法 |
| |
| 引用本文： | 李文.图形E—LOTOS的一个编辑软件和执行算法[J].内蒙古大学学报(自然科学版),1999,30(1):122-127. |
| |
| 作者姓名： | 李文 |
| |
| 作者单位： | 内蒙古大学计算机学院 |
| |
| 摘 要： | 给出了图形Ｅ－ＬＯＴＯＳ编辑软件的主要组成和特点，同时提出了图形Ｅ－ＬＯＴＯＳ的一种执行算法．试图为今后的系统设计、验证、执行和测试工作提供一个良好的环境．
|
| 关 键 词： | 图形E-LOTOS 执行 规则 |
An Edit Software and Excuting Arithmetic of Graphic E LOTOS |
| |
| LI Wen.An Edit Software and Excuting Arithmetic of Graphic E LOTOS[J].Acta Scientiarum Naturalium Universitatis Neimongol,1999,30(1):122-127. |
| |
| Authors: | LI Wen |
| |
| Abstract: | |
| |
| Keywords: | Graphic E LOTOS Executing Regulation |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
