Departamento de Sistemas Informaticos y Computation Universidad Politecnica de Valencia Camino de Vera s, 46022 Valencia, Spain;
rnDepartamento de Sistemas Informaticos y Computation Universidad Politecnica de Valencia Camino de Vera s, 46022 Valencia, Spain;
rnDepartamento de Sistemas Informaticos y Computation Universidad Politecnica de Valencia Camino de Vera s, 46022 Valencia, Spain;
机译:将时限CBR技术整合到实时代理中
机译:将潜在故障机制时空结合到核电厂火灾概率风险评估中的集成方法
机译:线性时态逻辑的有界模型检验用于容错可逆电路的新综合方法
机译:将时间界限执行纳入CBR方法
机译:一种用于在实时分布式计算系统中推导程序段的严格执行时间界限和简单对象方法的服务时间界限的混合方法。
机译:一种新的方法用于评估Qt间隔动态中的有界输入有缺陷的不稳定性:临床心电图与心室心动过缓的应用
机译:B-LOG:并行执行逻辑程序的分支定界方法