... LOS Luner Orbiting Satellite 月球轨道卫星 LOTOS Language of Temporal Ordering Specification 时间排序规范语言 Lotus “莲花”公司〖厂标〗,见:LDC ...
基于54个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
Language of Temporal Ordering Specification?
时间排序规范语言LOTOS ?
youdao
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理论。
应用推荐
模块上移
模块下移
不移动