Author Login Editor-in-Chief Peer Review Editor Work Office Work
Dynamic Generation of Interlocking Software Test Case Based on Petri Net
JIANG Sheng-Jie, LIN En-En
Computer Engineering . 2013, (1): 54 -57 .  DOI: 10.3969/j.issn.1000-3428.2013.01.011