【随后采用线性时序逻辑】

随后采用线性时序逻辑

linear-time temporal logic

...为的有限状态自动机作为过渡模型，并转化为promela模型作为spin工具的输入，随后采用线性时序逻辑(linear-time temporal logic，ltl)公式描述系统期望满足的属性，根据spin的模拟结果对模型进行修改和完善，最终形成与设计高度一致的模型...

基于4个网页-相关网页

LTL

...有限状态自动机作为过渡模型，并转化为promela模型作为spin工具的输入，随后采用线性时序逻辑(linear-time temporal logic，ltl)公式描述系统期望满足的属性，根据spin的模拟结果对模型进行修改和完善，最终形成与设计高度一致的模型...

基于2个网页-相关网页

随后采用线性时序逻辑

Subsequently, linear temporal logic was adopted

以上为机器翻译结果，长、整句建议使用人工翻译。

应用推荐

$firstVoiceSent

- 来自原声例句