机译:分布式实时和嵌入式系统的自适应资源管理框架的设计和性能评估
机译:模块化锂离子电池分布式电荷均衡器的设计和安全验证
机译:用于验证通用分布式系统的模块化框架
机译:分布式实时嵌入式系统CPU利用率的在线分散自适应最优控制器设计
机译:基于组件的分布式实时系统的集成时序分析和验证。
机译:大型模块化系统的分散式和分布式控制的事件触发自适应体系结构
机译:基于改进和抽象的分布式自适应实时系统的模块化设计与验证
机译:用于自适应分布式嵌入式控制系统高可信度设计的框架和工具。分布式嵌入式系统高可信设计的多大学研究计划