机译:基于AltaRica 3.0的基于模型的安全性分析的IMA系统的可用性评估
availability assessmentintegrated modular avionicsmodel-based safety analysisAltaRica 3.0;
机译:基于模型的系统工程和基于模型的安全评估的基础
机译:基于模型的系统工程和基于模型的安全评估的基础
机译:健康信息系统中基于模型的数据可用性评估。
机译:基于模型的安全性评估的AltaRica 3.0项目
机译:安全关键系统的基于模型的可用性分析:正式方法框架。
机译:基于基因组的非人灵长类猕猴猕猴作为药物安全性评估模型的分析
机译:基于Altarica 3.0的基于模型的安全性分析的IMA系统可用性评估