safety checking; clock delay fault; safety hazard; pulse-vanishing test; delay test; phase-error monitoring;
机译:将在线模型检查有效地集成到小型实时操作系统中
机译:带有在线检查点的异构N外热备用系统
机译:异构分布式系统的蒙特卡洛模拟:具有并行合并和检查点策略的计算框架
机译:在线时钟系统检查支持异构集成的总体策略
机译:一种可扩展的视图系统,用于支持异构,自治和分布式数据库管理系统的集成和互操作
机译:异构临床决策支持系统及其知识集的集成:带有药物相互作用提示的可行性研究
机译:利用自适应Os服务将在线模型检测集成到分布式可重构片上系统中
机译:检验点和恢复策略支持的交易系统的马尔可夫模型。第2部分:检查点之间具有指定事务数的aa模型