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

书籍简介:

本书介绍了复杂系统需求工程原理，复杂系统需求模型形式化规约方法，复杂系统效能需求模型的形式化验证方法，复杂系统需求验证的可执行体系结构框架，基于FUML的复杂系统需求验证建模语言，基于进程代数的复杂系统需求仿真语言，复杂系统需求验证及仿真过程。本书适合作为军事院校信息系统专业学生的教学参考书，也可作为军事信息系统领域相关科研、工程和管理人员的参考书。

书籍规格:

书籍信息归属:

复杂系统需求分析验证与仿真技术是兵器工业出版社于2018.12出版的中图分类号为 TJ 的主题关于 武器工业－复杂性理论 的书籍。