机译：实验表征多处理器存储系统的行为：一个案例研究
机译：致力于自动生成形式规范以验证和验证可靠的分布式系统：以工业案例研究为例的方法
机译：MAD内核：研究多处理器内存系统行为的实验性测试平台
机译：研究多处理器系统中的软件设计模式行为：观察者的案例研究
机译：近似计算 系统 的 可靠的计算 行为设计
机译：通过在具有多处理器的嵌入式系统上执行并行计算来实现混沌密码系统
机译：MTS测试系统的验证/由于导体疾驰而引起的横臂行为的初步研究
机译：可靠多处理器系统的无故障行为：airlab中的FTmp实验
