时序逻辑语言的英文

temporal logic language

• 时序逻辑:    sequential logic
• 语言:    language
• 时序逻辑:    sequential logic◇时 ...

例句与用法

1. We use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity . xyz / e is able to describe the dynamic semantics and static operations of component , and to formally describe system in different hierarchy
   由于构件可能具有不同的抽象层次和粒度，我们采用了时序逻辑语言xyz e作为构件描述语言，这种语言能够描述构件的静态语义和动态执行，并且能在不同抽象层次上对系统进行形式化描述。