Integration and Its Application of Formal Methods and Visual Models
WU Shuai;MIU Li-jun
Computer and Modernization . 2011, (3): 44 -46,5 .  DOI: 10.3969/j.issn.1006-2475.2011.03.012