Safety failure; Timing failure; Time Petri net; Timed trace theory; WS-BPEL;
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:使用SPICE电路仿真轨迹对模拟和混合信号设计进行形式验证
机译:使用计算切片对模拟迹线进行形式验证
机译:使用定时跟踪理论的WS-BPEL正式验证
机译:离散时间系统的形式验证和控制器综合。
机译:模糊迹线理论的正式模型:框架效应的变化和阿莱克斯悖论
机译:使用定时跟踪理论对Ws-BpEL进行形式验证