6 . EVC 示例 如果 [...] NOT EVC.GUIDS.xError AND EVC.GUIDS.x

xxx_xxxx_xxxx_xxxx 斌 X = 系统 [...] 在没有任何风险的情况下完成其周期。在这种情况下，可以延迟过渡。 表 6