English translation for "时序逻辑语言"
|
- temporal logic language
Related Translations:
时序控制器: time program controllertime schedule controller 时序校验: timing verification 时序脉冲: time sequential pulse 时序放大: sequential maximization 时序收缩: time-ordered contraction
- Example Sentences:
| 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作为构件描述语言，这种语言能够描述构件的静态语义和动态执行，并且能在不同抽象层次上对系统进行形式化描述。 |
- Similar Words：
- "时序逻辑电路" English translation, "时序逻辑方程" English translation, "时序逻辑控制" English translation, "时序逻辑网络" English translation, "时序逻辑系统" English translation, "时序逻辑元件" English translation, "时序码" English translation, "时序脉波分布" English translation, "时序脉冲" English translation, "时序脉冲发生器" English translation
|
|
|
