lotos
导读：lotos怎么读
英式音标：[\'ləʊtəs] 美式音标：[\'loʊtəs]
lotos的意思释义 n.忘忧树或其果实，莲属植物，埃及白睡莲；神食果； lotos用法及例句 例句参考 Verifying ET-LOTOS pro
英式音标：[\'ləʊtəs] 美式音标：[\'loʊtəs]
lotos的意思释义 n.忘忧树或其果实，莲属植物，埃及白睡莲；神食果； lotos用法及例句 例句参考 Verifying ET-LOTOS pro
lotos怎么读
英式音标：[\'ləʊtəs]
美式音标：[\'loʊtəs]
lotos的意思释义
n.
忘忧树或其果实，莲属植物，埃及白睡莲；神食果；
lotos用法及例句
例句参考
Verifying ET-LOTOS programmes with KRONOSLotos 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
