文档简介
基于抽象状态机的网格系统设计和分析
文档内容节选
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开发板图像及其数字处理
推荐帖子
精选电路图
-
CCD图像传感器在微光电视系统中的应用
-
光控音效发生器电路
-
如何利用ESP8266制作一个简单的四轴飞行器
-
基于IC555的可变PWM振荡器电路
-
一个简单的立体声平衡指示器电路
-
一种构建12V和230V双直流电源的简单方法
