机译:嵌入式异构系统基于对象建模的从系统设计到代码生成的整体系统设计方法
机译:复杂嵌入式系统的硬件/软件共同设计 - 一种使用高效流程模型,多种形式主义规范和通过共模验证的方法
机译:嵌入式实时系统规范和设计的通用时间模型
机译:用于描述嵌入式系统的规范和设计中聚合对象之间的通信的模型
机译:嵌入式多处理器信号处理系统的模型连续规范和设计方法。
机译:AeroRing的规格和性能指标—用于航空电子嵌入式系统的多环以太网
机译:用于描述嵌入式系统的规范和设计中聚合对象之间的通信的模型