复杂系统需求分析验证与仿真技术

本书介绍了复杂系统需求工程原理,复杂系统需求模型形式化规约方法,复杂系统效能需求模型的形式化验证方法...

2018.12