University of Illinois at Urbana-Champaign.;
机译:复制分布式系统的确定性 - 数据传递过程的定时分析
机译:分布式实时控制系统时序分析工具的开发
机译:分布式实时系统时序验证方法的实验分析
机译:异步分布式原因链的时序分析
机译:基于组件的分布式实时系统的集成时序分析和验证。
机译:人机协作团队的分布式体系结构:时序挑战和互动机会
机译:通过基于测量的概率时序分析实现时序可组合性第16届IEEE国际面向对象/组件/面向服务的实时分布式计算研讨会(ISORC 2013)