lotos language of temporal ordering specification
时态排序规范的lotus语言
以上为机器翻译结果，长、整句建议使用 人工翻译 。
The theory basis of GTSL is the theory of grey system and that of LOTOS, the language of temporal ordering specification.
本文呈现了我们构造的形式化灰色时序安全策略规范语言（GTSL）。 GTSL的理论基础是灰色系统理论和时序规范语言LO-TOS理论。
youdao
应用推荐
模块上移
模块下移
不移动