Automata; Clocks; Delays; Indexes; Real-time systems; Safety; Semantics; Logical causality; blaming; failure; model-checking; timed automata;
机译:归咎于基于组件的系统的通用框架
机译:基于组件的自主系统实时架构的设计与分析方法
机译:在多处理器实时系统中支持基于组件的软件开发的设计流程
机译:指责基于组件的实时系统
机译:基于组件的实时操作系统中可预测的系统级容错。
机译:怪病人怪医生还是怪系统?初级保健中患者安全性定性研究的元综合
机译:指责基于组件的实时系统