位置：成果数据库 > 期刊 > 期刊详情页
Applying SMV for security protocol verification
  • ISSN号：1812-5638
  • 期刊名称：Information Technology Journal
  • 时间：0
  • 页码：1065-1070
  • 语言：中文
  • 相关项目：基于规格说明的Web应用测试方法研究
作者： Liu, Pan|Mei, Jia|Miao, Huaikou|
同期刊论文项目
基于规格说明的Web应用测试方法研究
期刊论文 39 会议论文 32
同项目期刊论文
DNA分子计算与DNA计算机的研究进展
A formal framework for WS-CDL based on process algebra
UML模型到FSM模型的转换
基于角色的设计模式形式建模及演化
一种用于模型验证的Web应用模型抽取方法
Towards common acquaintance immunization strategy for complex network
Web应用功能交互的建模与测试用例生成
Uppaal到PVS的时间自动机翻译器
基于场景的形式化测试模型生成方法研究
Web 应用自动化测试的研究
基于规格说明的若干逻辑覆盖测试准则
基于场景规约的系统行为建模
构件式系统的建模与验证
构件组合的抽象精化验证
Web应用程序建模和测试用例生成方法
基于ORD和FSM的Web应用的建模与测试
从集合表达式产生测试数据的方法
基于复杂网络面向对象集成测试的研究
Towards Automatic Transformation from UML Model to FSM Model for Web Application
Multiple UIO-based test sequence generation for distributed systems
面向用户会话的Web应用测试用例生成及其优化
Automatic Generating Test Cases for Testing Web applications
Web应用的UML协作图建模与形式化规格说明
基于MDA的模糊本体生成方法
UML状态图测试充分性准则的公理化评估
一种验证Web应用设计的方法
一种基于功能构件的Web应用建模与测试方法
一种基于Object-Z规格说明的集成测试用例生成方法
一种基于Web软件集成测试的建模方法
基于UML的Web应用建模与测试方法
构件式实时系统建模与验证研究
图形转换的构件组装框架唯一性研究
基于接口自动机的Web应用验证
Web应用自动化测试的研究
形式概念分析在Web应用测试用例选取中的应用
反例引导的模型检验工具的设计
移动Ad Hoc网络网格路由协议研究进展
Timed automata for metric interval temporal logic formulae in prototype verification system