-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=Web交互模型 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
Web交互模型的形式化验证研究被引量：1
《计算机科学》2014年第2期219-221,共3页李敏 罗惠琼 唐春玲 王强 
重庆市教委(kj131607)资助
Web交互模型的形式化验证是对Web事件属性进行校验的十分可信的方法。通过一系列的系统模型建立、系统行为分析以及对于模型中关心属性的相关验证,能够让交互模型在设计阶段就能使形式化模型暴露出其所存在的缺陷,而不至于让缺陷保留到...
关键词：Web交互模型 形式化验证 数理推演 模型语义 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部