lotos音标
英 ['ləʊtəs]
美 ['loʊtəs]
lotos翻译
n.
忘忧树或其果实,莲属植物,埃及白睡莲;神食果;
lotos用法
权威例句
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