位置：成果数据库 > 期刊 > 期刊详情页
Formaldevelopment of self-separation protocol in free flight
  • ISSN号：0117-3375
  • 期刊名称：Asia Life Sciences
  • 时间：2015.7.1
  • 页码：573-586
  • 相关项目：基于模型的测试用例优化生成与自动执行
作者： 李壮|缪淮扣|刘阳|
同期刊论文项目
基于模型的测试用例优化生成与自动执行
期刊论文 17 会议论文 31 著作 3
同项目期刊论文
Nondeterministic Probabilistic Petri Net-A New Method to Study Qualitative and Quantitative Behavior
Predictive Web Service Monitoring using Probabilistic Model Checking
An approach to test generation for web applications
基于Ajax技术的Web应用的建模与测试用例生成
基于CEGAR的Web应用验证
Research on the dynamic reconfiguration of Web application using two-phase compatibility verificatio
表格语言的分析比较
一个用于EFSM路径条件覆盖的测试数据生成方法
面向概率服务组合系统的需求描述
Web服务计算组合流程QoS验证
基于历史信息的自适应测试用例优先级技术
Eyou: An Electronic Map-Based Logistics Service System
Reduction of Model Checking-based Test Generation using Satisfiability
抽象精化和可满足性结合的EFSM模型测试用例优化生成
基于犆犈犌犃犚的犠犲犫应用验证