×
模态框(Modal)标题
在这里添加一些文本
Close
Close
Submit
Cancel
Confirm
×
模态框(Modal)标题
×
Search
E-mail
RSS
Author Login
Editor-in-Chief
Peer Review
Editor Work
Office Work
Toggle navigation
Computer Engineering
Home
Journal
Editorial Office
About Journal
Indexed-in & awards
Subscription
Journal Online
Just Accepted
Current Issue
Archive
Most Access
Most Download
Most Cited
Email Alert
RSS
Authors
Guidelines
Editorial Board
Editor-in-Chief
Editorial Board
Publishing Ethics
Download
Contact Us
中文
Author Login
Editor-in-Chief
Peer Review
Editor Work
Office Work
×
Quick Search
Formal Verification of UML Models Based on TLA
LIANG Meng-Lei, WANG Xiao-Beng, XUE Xiao-Beng, LI Gang
Computer Engineering . 2011, (
2
): 72 -74 . DOI: 10.3969/j.issn.1000-3428.2011.02.025