系统体系方法与软件系统功能形式分解
卢捍华,张顺颐,王亚石,闵丽娟
System of systems method and formal function decomposition for software systems
Han-hua LU,Shun-yi ZHANG,Ya-shi WANG,Li-juan MIN
通信学报 . 2010, (12): 131 -139 .  DOI: 1000-436X(2010)12-0131-09