Formal Methods; Stream X-Machines; Testing; Timeouts;
机译:测试由Stream X机器建模的定时系统
机译:从流X机模型测试面向数据处理的系统
机译:通信流X-Machines系统不超过X机
机译:扩展流X-Machines以指定和测试系统的超时
机译:累积求和 非参数 多流 过程控制的 基础上 扩展 位数检验 表
机译:哌拉西林-他唑巴坦vs.碳青霉烯用于治疗因产生广谱β-内酰胺酶的细菌引起的血流感染:系统评价和荟萃分析
机译:扩展Stream X机器以指定和测试具有超时的系统