Projection Temporal Logic的意思|示意

美 / / 英 / /

投影时序逻辑

Projection Temporal Logic的网络常见释义

投影时序逻辑 ...年01期： TP311.52 【正文快照】： Framed Tempura[1]是一种时序逻辑程序设计语言,它是投影时序逻辑(projection temporal logic,PTL)的一个可执行子集,扩展了语言Tempura[2],增加了指针数据结构[3]、框架操作符和新的投影操作..

采用投影时序逻辑最后,采用投影时序逻辑(PTL,Projection Temporal Logic)形式化描述了该模型中资源访问决策部分的规范说明.

Projection Temporal Logic相关短语

1、 Propositional Projection Temporal Logic 命题投影时序逻辑

2、 Concurrent Propositional Projection Temporal Logic 并发命题投影时序逻辑