Computer programs; Verification; Real time; Specifications; Semantics; Computer architecture; Embedding; Quality assurance; Natural language;
机译:基于组件的过程,分离关注嵌入式实时软件系统的开发
机译:启用基于组件的嵌入式实时软件的设计
机译:基于组件的性能敏感型实时嵌入式软件
机译:基于组件的事件驱动实时嵌入式软件的模型检查
机译:QoSPL:服务质量驱动的软件产品线工程框架,用于设计和分析基于组件的分布式实时和嵌入式系统
机译:用于编辑和执行基于知识组件的临床指南的软件工具
机译:基于组件的事件驱动的实时嵌入式软件的模型检查