Formal methods ; Web services ; Dependability ; Computer networks ; Programming languages ; Internet ; Verification;
机译:关于采用形式化方法可靠构建Web服务的问题
机译:可靠的Web服务安全体系结构开发理论和实践问题?空间Web服务案例研究
机译:客座编辑的介绍:有关Web服务和形式方法的特刊
机译:将正式方法应用于Web服务的组成描述
机译:构建可靠的Web服务:方法论,组成,建模和实验。
机译:设计和部署可靠的无线传感器网络的正式方法论
机译:可依赖的网络服务安全架构发展理论和实际问题 - 空间网络服务案例研究
机译:计算科学。一种可靠的Web服务系统测试故障注入方法