Language of Temporal Ordering Specification?
时间排序规范语言LOTOS ？
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理论。
The behavioral specification for this ordering service might then describe how you cannot update or cancel an order you did not place, or that after you have canceled an order it cannot be updated.
此订购服务的行为规范可能会说明，您如何不能更新或取消没有订购的订单，或者在您取消订单之后就不能再对其更新。
When user ordering may select each kind of different specification according to the actual need the lifting capacity, the span, the lifting altitude, technical norms and so on bracket swinging radius.
用户订货时可根据实际需要选用各种不同规格的起重量、跨度、起升高度、悬臂伸出长度等技术规格。
When user ordering may select each kind of different specification according to the actual need the lifting capacity, the span, the lifting altitude, technical norms and so on bracket swinging radius.
用户订货时可根据实际需要选用各种不同规格的起重量、跨度、起升高度、悬臂伸出长度等技术规格。
应用推荐