Time-triggered architecture; Startup algorithm; Temporal boundary analysis; Arbitrary nodes;
机译:时间触发型体系结构的容错启动算法的形式验证:一项调查
机译:时间触发体系结构中容错算法的形式分析科学出版物
机译:集成视频运动估计器,具有类似于Retinex的预处理功能,可在汽车场景中进行强大的运动分析:算法和实时体系结构设计
机译:具有总线拓扑的时间触发架构启动算法的时间边界分析
机译:改进了自组织无线传感器网络的拓扑控制和路由算法的鲁棒性。
机译:FTT-MA:适用于时间敏感资源感知的AmI系统的灵活的时间触发中间件体系结构
机译:具有总线拓扑的时间触发架构启动算法的时间边界分析
机译:关于Rushby对容错时间触发算法的系统形式验证中不一致公理的注记