lotos

英式音标：['ləʊtəs]播放读音

美式音标：['loʊtəs]播放读音

词义：

n.

忘忧树或其果实，莲属植物，埃及白睡莲；神食果；

用法：

权威例句

Verifying ET-LOTOS programmes with KRONOS

Lotos specifications, their implementations and their tests

An introduction to LOTOS: learning by examples

The formal description technique LOTOS

Transformations and Semantics for LOTOS

Compilation and verification of LOTOS specifications

LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behavior

Introduction to the ISO specification language LOTOS

Formal Description Technique Lotos: Results of the Esprit Sedos Project

Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL

造句：

1. Realization of LOTOS formal specification is one of indispensable steps in protocol design.

LOTOS形式规范的目标实现是协议设计中必不可少的阶段之一。

youdao

2. 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

3. LOTOS is a specification language that aims at describing the dynamic behavior of complex systems (formal description language).

LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言)，是可操作的。

youdao

4. Combined with theory of object oriented technology and state chart, formalization method of dynamic model based on LOTOS is presented. Furthermore, a case is presented to demonstrate this method.

介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。

youdao

5. Combined with theory of object oriented technology and state chart, formalization method of dynamic model based on LOTOS is presented. Furthermore, a case is presented to demonstrate this method.

介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。

youdao