使用基于模型的设计来开发和验证安全关键系统软件

使用基于模型的设计来开发和验证安全关键系统软件    使用基于模型的设计来开发和验证安全关键系统软件    类别：嵌入式系统                      &nbsp本文描述了高度完