本站微信 收藏本站 设为首页
 找回密码
 注册
关于网站域名变更的通知
EDA365电子论坛网»电子社区 › 研发技术版块 › FPGA|CPLD论坛 › 基于抽象状态机的网格系统设计和分析
返回列表 发新帖
查看: 204|回复: 2
打印 上一主题 下一主题

基于抽象状态机的网格系统设计和分析

[复制链接]
Taio

该用户从未签到
跳转到指定楼层
1#
发表于 2019-10-17 07:30 | 只看该作者 回帖奖励 |倒序浏览 |阅读模式

EDA365欢迎您登录！

您需要 登录 才可以下载或查看，没有帐号？注册

x
基于抽象状态机的网格系统设计和分析
1 D) R- i1 Z' S' D8 p# F3 L4 S
0 r  C. c8 h$ d+ P
基于可执行规范的实现2测试同步开发模式可以将错误尽早消灭在各个开发阶段的初期 . 其理论基础是抽象状态机 ASM, 实现工具是支持 .NET 的 AsmL. 本文首先介绍了基于可执行规范的实现2测试同步开发模式、 ASM起源和定义 , 然后采用 ASM 描述了网格高层次系统语义 , 并举例说明了采用 AsmL 生成有限状态机分析模型语义的方法步骤 . 本文认为基于 ASM 的网格系统设计和分析值得学术界和工业界的共同关注。, z: G; [9 Z9 I1 p5 z+ S; ?1 n: D
游客，如果您要查看本帖隐藏内容请回复

下载资料威望不够？点击查看获取威望的N种方法>>
回复

举报

EDA365微信号及QQ群号！
521li
  • TA的每日心情
    开心
    2023-6-1 15:13

    • 签到天数: 1 天

    [LV.1]初来乍到
    2#
    发表于 2019-10-17 13:35 | 只看该作者
    我是初学者，这个比较高深，先收藏

    下载资料威望不够？点击查看获取威望的N种方法>>
    回复 支持 反对

    举报

    雷北城

    该用户从未签到
    3#
    发表于 2022-6-2 15:52 | 只看该作者
    基于抽象状态机的网格系统设计和分析

    下载资料威望不够？点击查看获取威望的N种方法>>
    回复 支持 反对

    举报

    返回列表 发新帖
    高级模式
    B Color Image Link Quote Code Smilies
    您需要登录后才可以回帖 登录 | 注册

    本版积分规则

    关闭

    推荐内容上一条 /1 下一条

    EDA365公众号

    关于我们|手机版|EDA365电子论坛网 ( 粤ICP备18020198号-1 )

    GMT+8, 2025-7-26 15:40 , Processed in 0.109375 second(s), 26 queries , Gzip On.

    深圳市墨知创新科技有限公司

    地址:深圳市南山区科技生态园2栋A座805 电话:19926409050

    快速回复 返回顶部 返回列表