自动验证论文

基于特定域建模方法的航空发动机MBSE实施方法
论文摘要提出一种基于模型系统工程(MBSE)的方法,将基于系统工程航空发动机系统的研发与基于模型的研发有效结合起来:采用系统思维方法对航空发动机需求、架构及验证进行形式化表达,...