LTL

作品数：62被引量：88H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：禹鑫燚欧林林郭永奎董威钱俊彦更多>>
相关机构：国防科学技术大学华东师范大学桂林电子科技大学中科合成油技术有限公司更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家科技支撑计划x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于LTL的UML状态图测试用例生成方法
《安徽建筑大学学报》2015年第2期75-78,共4页高莉 
国家科技支撑计划(2012BAJ08B00);安徽高校省级自然科学研究重点项目(KJ2009A018Z);校青年科研专项经费(201183-14)
测试用例的自动生成是软件测试研究的主要方向之一,针对软件开发过程中测试数据生成存在低效、无目的、冗余等问题,提出了基于UML状态模型图的面向对象类级测试用例生成方法,将UML状态图转换成相应的事件确定有限状态机,通过线性时序逻...
关键词：软件测试 测试用例生成 UML状态图 线性时序逻辑 
Preparation of Co- or Mn-substituted LTL zeolites and their catalytic properties in cyclohexane oxidation
《Science China Chemistry》2015年第1期139-147,共9页Kai Xue Boting Yang Peng Wu 
supported by the National Natural Science Foundation of China(21373089,U1162102);the PhD Programs Foundation of the Ministry of Education(2012007613000);the National Key Technology R&D Program(2012BAE05B02);the Shanghai Leading Academic Discipline Project(B409)
Co-or Mn-substituted LTL zeolites were hydrothermally synthesized by a novel organic-ligand-assisted method.XRD,UVVis DRS,XPS,and EPR techniques verified that the Co and Mn ions were incorporated into the zeolite fram...
关键词：Co-LTL Mn-LTL METALLOSILICATE TRIETHANOLAMINE cyclohexane oxidation KA oil 
基于SPIN的LTL属性分解方法研究被引量：2
《计算机应用与软件》2014年第7期43-46,65,共5页贺志宏 曾庆凯 
国家自然科学基金项目(61170070);国家科技支撑计划项目(2012BAK26B01);国家高技术研究发展计划项目(2011AA1A202)
提出一种基于模型检测工具SPIN的LTL属性分解方法以解决状态空间爆炸问题。根据逻辑和时序操作符常见的组合情况,讨论不同的属性分解模式,根据子属性构建的切片准则进行程序切片,利用SPIN对切片后的等价简化模型进行检测,从而将对原模...
关键词：线性时序逻辑属性 模型检测 属性分解 静态程序切片 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部