AADL; EMF; Meta-Model; Parser;
机译:使用各向异性人工介电层(AADL)的频率敏捷微带贴片天线:建模与设计
机译:使用AADL(体系结构分析和设计语言)进行软件可靠性建模
机译:使用统计模型检查对不确定性感知的混合AADL设计进行量化性能评估
机译:AADL Model解析器的设计与实现
机译:ISO C ++语言的解析器和前端的设计与实现以及解析器的验证。
机译:在模拟神经元中实现自然语言解析的心理语言模型
机译:结合SysML和AADL以设计,验证和实施关键系统