机译:基于组件的系统的全自动运行时实施,具有正式和完善的恢复功能
机译:BIP框架中基于组件的系统的运行时验证,具有经过正式验证的健全且完整的工具
机译:基于组件的模型,用于嵌入式系统的运行时控制和监视
机译:通过具有时间模式的策略在运行时调整基于组件的系统
机译:动态SAMR应用程序的空间和时间异构性的自适应运行时管理。
机译:混合信号VLSI系统用于产生临时适应运动的脊柱内微刺激模式
机译:通过带有时间模式的策略在运行时适应基于组件的系统
机译:时间模式 - 检查隐私策略的运行时监控。