文档简介
基于抽象状态机的网格系统设计和分析
文档内容节选
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 ......
评论
加载更多
推荐下载
查看更多
精选文集
相关视频
-
Verilog RTL编程实践
-
FPGA时序约束
-
领航者ZYNQ开发板视频
-
Verilog HDL数字集成电路设计原理与应用
-
正点原子领航者ZYNQ视频第一期FPGA设计篇
-
赛灵思FPGA开发板图像及其数字处理
推荐帖子
精选电路图
-
家用电源无载自动断电装置的设计与制作
-
PIC单片机控制的遥控防盗报警器电路
-
短波AM发射器电路设计图
-
开关电源的基本组成及工作原理
-
用NE555制作定时器
-
基于TDA2003的简单低功耗汽车立体声放大器电路
