机译:时间触发体系结构中容错算法的形式分析科学出版物
机译:时间触发型体系结构的容错启动算法的形式验证:一项调查
机译:关于Rushby“容错时间触发算法的系统形式验证”中公理不一致的注释
机译:容错时间触发算法的系统形式验证
机译:时间触发架构中中央监护人的模块化形式分析
机译:实时和容错计算机系统的调度算法的设计和分析。
机译:FTT-MA:适用于时间敏感资源感知的AmI系统的灵活的时间触发中间件体系结构
机译:时间触发架构中容错算法的形式分析
机译:关于Rushby对容错时间触发算法的系统形式验证中不一致公理的注记