lotos
英：['ləʊtəs] 美： ['loʊtəs]
lotos 基本解释
n.忘忧树或其果实，莲属植物，埃及白睡莲；神食果；
lotos 相关例句
权威例句
Verifying ET-LOTOS programmes with KRONOSLotos specifications, their implementations and their testsAn introduction to LOTOS: learning by examplesThe formal description technique LOTOSTransformations and Semantics for LOTOSCompilation and verification of LOTOS specificationsLOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational BehaviorIntroduction to the ISO specification language LOTOSFormal Description Technique Lotos: Results of the Esprit Sedos ProjectUsing Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
