Aspect-oriented mechanisms; Runtime adaptability; Rapid-prototyping ECA-driven interactions; MAUDE;
机译:基于组件的系统的全自动运行时实施,具有正式和完善的恢复功能
机译:BIP框架中基于组件的系统的运行时验证,具有经过正式验证的健全且完整的工具
机译:基于组件的模型,用于嵌入式系统的运行时控制和监视
机译:使用运行系统方面交互的基于自适应组件的系统的快速原型设计
机译:用于多核系统上的电源和资源管理的自适应运行时技术。
机译:B型柯萨奇病毒及其与先天和适应性免疫系统的相互作用
机译:使用运行时方面交互快速构建基于自适应组件的系统的原型