位置：成果数据库 > 期刊 > 期刊详情页
Web Services Choreography Validation
  • 期刊名称：Service Oriented Computing and Applications
  • 时间：0
  • 页码：291-305
  • 相关项目：航天嵌入式软件可信性构造与验证的关键技术研究
作者： Zheng Wang|Lei Zhou|Yongxin Zhao|Jing Ping|Hao Xiao|Geguang Pu|Huibiao Zhu|
同期刊论文项目
航天嵌入式软件可信性构造与验证的关键技术研究
期刊论文 38 会议论文 29
同项目期刊论文
一种面向堆操作程序内存安全性的域敏感内存模型
AADL2TASM: a verification and analysis tool for AADL models
基于AADL的建模和验证技术应用研究
基于Petri网的AADL模型正确性验证研究
Effective Fault Localization Approach Using Feedback
AADL模式转换设计方法研究
AADL在航天器控制系统设计中的应用研究
A Parallel Approach to Concolic Testing with Low-cost Synchronization
基于AADL的中断控制设计方法
基于AOP的运行时验证中的冲突检测
基于约束的多面体抽象域的弱接合
面向航天嵌入式软件的形式化建模方法
基于MYGCC的编程规则检查算法研究
一种基于变量可达向量的链表抽象方法
基于UPPAAL的AADL行为模型验证方法研究
Formal Verification of TASM Models by Translating into UPPAAL
More efficient automatic repair of large-scale programs using weak recompilation
面向参数化LTL的预测监控器构造技术
A Scalable Infrastructure for Online Performance Analysis on CFD Application
快速SPARC V7指令集模拟器的设计方法
基于SPARDL的模型和程序一致性测试
精确的堆内存使用量上界分析