AADL flow latency; CPS; PDA; model-based testing;
机译:证据综合为诊断测试的基于模型的成本效益评估提供依据:卫生技术评估的方法学综述
机译:使用系统实体结构的MATLAB / Simulink模型基于模型的测试方法
机译:基于模型的自动功能测试-方法论及其在空气处理机组中的应用/讨论
机译:基于模型的CPS的AADL流延迟测试方法
机译:用于软件安装测试的基于模型的测试分析方法。
机译:证据综合为诊断测试的基于模型的成本效益评估提供依据:卫生技术评估的方法论综述
机译:使用UmL maRTE处理aaDL端到端流延迟
机译:使用架构分析和设计语言(aaDL)进行流延迟分析