Web Services; Runtime verification; Passive testing; Rule specification; Nomad language;
机译:定时系统的自动运行时验证的一种方法:Web服务的应用程序
机译:定时系统的自动运行时验证的一种方法:Web服务的应用程序
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:Web服务自动运行时验证
机译:复合Web服务的运行时验证
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:Web服务的自动运行时验证