位置：成果数据库 > 期刊 > 期刊详情页
Model checking the reliability of interactive behaviors for mobile computing
  • ISSN号：1976-3700
  • 期刊名称：Advances in Information Sciences and Service Scien
  • 时间：0
  • 页码：1-12
  • 相关项目：可信网络软件的形式验证
作者： Gao, Honghao|Miao, Huaikou|Wang, Shuoping|Mei, Jia|Liu, Yang|
同期刊论文项目
可信网络软件的形式验证
期刊论文 32 会议论文 22 专利 1 著作 1
同项目期刊论文
基于LSC模型检验的性质抽取
Describing Dynamic Semantics of Formal Specification Language Object-Z Using LTS
OWL-S到Z规格说明的转换
Model-Based Boundary Coverage Criteria for Logic Expressions
基于场景的形式化测试模型生成方法
基于FSM的测试理论、方法及评估
基于模型的Web应用测试
优化基于模型检验的测试生成
Verifying web services composition based on interface automata using SPIN
模型检验在构件数据流测试中的应用
基于XML的Web应用模型抽取
威胁驱动的Web应用On-The-Fly导航模型验证方法
确定性有限状态机的最小测试成本迁移覆盖准则
基于Object-Z的Web组件形式化建模
Object-Z规格说明测试用例的自动生成器
构件式实时系统建模与验证研究
1Web应用中数据库交互行为验证
Web服务编排中信息对齐交互建模方法研究
Generating test case specifications of web service composition using model checking