【projection_temporal_logic】什么意思_英语projection_temporal_logic的翻译_音标_读音_用法_例句_在线翻译

projection temporal logic

网络释义

投影时序逻辑

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

基于8个网页-相关网页

采用投影时序逻辑

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

基于2个网页-相关网页

短语

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

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