-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=动态模型序列 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
迁移系统关于一类时态逻辑公式的满足度被引量：1
《陕西师范大学学报（自然科学版）》2013年第4期1-10,共10页王国俊 王庆平 时慧娴 罗清君 王伟 
国家自然科学基金资助项目(10771129;11171200)
从分析Words(φ)的结构入手,引入用线性时态逻辑(LTL)公式φ表示的规范的特征概念,证明了一类LTL公式特征的存在性定理以及特征的计算方法.引入了LTL公式的T-范式概念,证明了这类LTL公式均可等价地表示为T-范式的形式,从而为简化φ的特...
关键词：规范 特征 最终自由 动态模型序列 T-范式 满足度 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部