Computing systems; Fault-tolerant computing; Digital systems; Flight control applications; Redundancy; Fault tolerance; Formal methods; Verification;
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:实时DDO-OFDM系统中的符号同步和采样频率同步技术
机译:实时DDO-OFDM系统中的符号同步和采样频率同步技术
机译:形式设计系统在容错时钟同步电路开发中的交互作用
机译:基于分析冗余的容错飞行控制系统的要求的正式规范。
机译:基于主动控制技术的分数阶混沌系统的控制和切换同步
机译:同步容错系统的正式技术