位置：成果数据库 > 期刊 > 期刊详情页
Temporal normal form for Linear Temporal Logic formulae
  • ISSN号：1064-1246
  • 期刊名称：Journal of Intelligent & Fuzzy Systems
  • 时间：0
  • 页码：-
  • 相关项目：线性时序关系下推理的概率计量化模型
作者： Shi Hui-Xian|Li Yong-Ming|
同期刊论文项目
线性时序关系下推理的概率计量化模型
期刊论文 9
同项目期刊论文
Provably-secure certificateless key encapsulation mechanism for e-healthcare system
WBR0-代数的Fuzzy蕴涵理想
Robustness analysis of logic metrics on F(X)
WBR0代数的Fuzzy蕴涵理想
Lattice and metric completions of the classical logic metric space and a comparison
线性时序逻辑基于DTMC的计量化方法