QQ客服 官方微博 反馈留言

题名	面向物联网终端的状态机代码生成方法的研究与实现
作者	李明忠
答辩日期	2017
导师	赵银亮
关键词	物联网终端 状态机 Object-Z 形式验证 状态机解释器
学位名称	工学硕士
URL标识	查看原文
内容类型	学位论文
URI标识	http://www.corc.org.cn/handle/1471x/2938380
专题	西安交通大学
推荐引用方式 GB/T 7714	李明忠. 面向物联网终端的状态机代码生成方法的研究与实现[D]. 2017.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。