Author Login Editor-in-Chief Peer Review Editor Work Office Work
Design of Trusted Software Based on MDA and Executable Formalization
TANG Yan; DU Yu-yue; LIU Wei
Computer Engineering . 2009, (19): 138 -140 .  DOI: 10.3969/j.issn.1000-3428.2009.19.046