Platform independent model; Platform specific model; Metamodel; AADL; MDA;
机译:基于MDE的工具链将AADL模型转换为定时自动机模型
机译:使用HiP-HOPS进行AADL模型可靠性分析的模型转换
机译:通过模型转换探索AADL验证工具
机译:从XUML PIMS到AADL PSM的模型转换
机译:PSMA靶向聚合物纳米粒子的研制通过针对PSMA的硼中子捕获治疗治疗前列腺癌
机译:鉴定PSMA和GRPR的异二聚酰胺用于通过鼠模型中的接头修饰进行前列腺癌的成像 - 优化对PSMA的亲和力
机译:MARTES方法中模型转换(PIM,PSM)的规范