正确性验证论文

基于模型检验与仿真的C~4ISR系统需求验证方法研究
论文摘要信息技术的发展以及战争形态的变化,对一体化C~4ISR系统的需求日益迫切;C~4ISR系统的开发和建设,更加重视以需求工程和体系结构技术为核心的C~4ISR系统顶层设计...