基于抽象状态机的网格系统设计和分析
文档内容节选
22 2 2 ASM ASM 2 2 ASM 12A 2003 12 TP311 TP393 2 Vol 31 No 12A Dec 2003 ACTA ELECTRONICA SINICA NET AsmL A 200030 ASM AsmL 0372 2112 2003 12A 2096 05 Abstract State Machine Ba sed System De sign and Analysis for Grids Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai 200030 China LIU Hui LI Ming lu Abstract Synchronizing software implementation and test with executable specifications could find flaws as early as they oc curred in each ......
猜您喜欢
推荐内容
开源项目推荐 更多
热门活动
热门器件
用户搜过
随便看看
热门下载
京公网安备 11010802033920号
Copyright © 2005-2026 EEWORLD.com.cn, Inc. All rights reserved
评论