机译:建立基于MARTE的实时嵌入式系统方法中的可追溯性模型
机译:建立基于MARTE的实时嵌入式系统方法中的可追溯性模型
机译:实时嵌入式控制系统的基于Cpu模型的机电/硬件/软件协同设计技术
机译:在嵌入式实时软件中实现MARTE的基于模型的方法
机译:基于安全性模型的GPCA输液泵实时嵌入式软件开发
机译:嵌入式系统中分数微积分数值方法的优化
机译:嵌入式实时软件的集成MARTE和基于组件的方法学组件模型的元模型验证
机译:基于模型的嵌入式系统软件工程图和语言:UmL和aaDL。