co-simulation; code generation; CSP; eclipse; EMF; LUNA; meta-model; model transformations; model verification; TERRA;
机译:用于软件和嵌入式系统需求管理的元模型和UML概要文件
机译:软件开发项目态的元模型软件项目的行为研究
机译:系统开发-软件设计-嵌入式系统的软件过程
机译:嵌入式控制软件开发CSP元模型的设计与应用
机译:用于步进电机故障诊断的基于微控制器的数据记录器的嵌入式软件设计。
机译:食品4的健康-He Oranga Kai:评估鼠李糖乳杆菌HN001和β-葡聚糖改善糖尿病前期成年人糖化血红蛋白的功效可接受性和经济意义:2项研究方案2析因设计平行分组安慰剂对照随机对照试验具有嵌入式定性研究和经济分析
机译:嵌入式控制软件开发的Csp元模型的设计与使用