...
机译:一种使用混合自动机进行Web服务操纵的新颖验证模型
Web services composition; Hybrid automata; HA; AMA; Amend Muller automata; PDA; Push down automata; Departed transition and deadlock;
机译:一种使用混合自动机进行Web服务操纵的新颖验证模型
机译:用于网络物理系统形式化建模和验证的混合自动机
机译:验证矩形混合自动机模型
机译:基于接口自动机的Web服务组合模型及其验证算法
机译:Web服务组合的可量化的非功能需求建模和静态验证。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:验证模拟为定时自动机的混合系统:案例研究。