装备体系需求参考模型及形式化分析

段采宇, 张维明, 余滨, 于久程

Reference model and formal analysis for requirements of equipment systems

DUAN Cai-yu, ZHANG Wei-ming, YU Bin, YU Jiu-cheng

Journal of Systems Engineering and Electronics . 2009, (01): 125 -129 .