Safety Analysis and Verification on Civil Aviation Business System
XING Ni-zhou, WANG Li-song
Computer and Modernization . 2014, (10): 46 -51,65 .  DOI: 10.3969/j.issn.1006-2475.2014.10.011