中英▼
go top

time temporal logic

网络释义

  时序逻辑

UML软件工程组织 的状态)的属性。从技术的角度看，运算树逻辑(Computation tree logic, CTL)是时序逻辑(time temporal logic, TTL)的一个分支，其简单性和直观性非常适合于本例。CTL是常用的布尔命题逻辑(Boolean propos

基于12个网页-相关网页

短语

linear-time temporal logic 线性时序逻辑

branching-time temporal logic 分支时间时序逻辑

real time temporal logic 实时时态逻辑

alternating-time temporal logic 交互时态逻辑

modified linear time temporal logic 修改的线性实时逻辑

Stochastic and real-time temporal logic 随机实时时序逻辑

 更多收起网络短语

有道翻译

time temporal logic

时间时序逻辑

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

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定