Architecture Analyze and Design Language (AADL); Error Model; Markov Chain; Model-based Testing;
机译:用于汽车嵌入式软件测试的模型自动测试用例
机译:基于AADL模型的软件工程的一种正式方法
机译:使用Polychrony的AADL中嵌入式软件体系结构的定时行为建模和仿射调度
机译:基于模型的嵌入式软件模型测试
机译:SAE体系结构分析和设计语言(AADL)的软件可测试性度量
机译:epmV嵌入功能分子模拟成专业动画软件环境
机译:TestmL-基于模型的嵌入式软件测试的测试交换语言
机译:基于模型的嵌入式系统软件工程图和语言:UmL和aaDL。