It first describes formal description for the specification of communication protocol. and the principal features of Estelle, SDL and Lotos.是什么意思_It first describes formal description for the specification of communication protocol. and the principal features of Estelle, SDL and Lotos.在线翻译_英语_读音_用法_例句