下载此文档

面向资源的物联网系统形式化建模与验证.pdf

文档分类：IT计算机 | 页数：约76页举报非法文档有奖

1/76

下载提示

1.该资料是网友上传的，本站提供全文预览，预览什么样，下载就什么样。
2.下载该文档所得收入归上传者、原创者。
3.下载的文档，不会出现我们的网址水印。

同意并开始全文预览

(约 1-6 秒)

1/76 下载此文档

文档列表 文档介绍

分类号密级
太原理工大学
硕士学位论文
题目面向资源的物联网系统形式化建模与验证
－
ｓｏｒｃｅｏｒｉｅｎｅｄ
ＴｈｅＦｏｒｍａｌＭｏｄｌｉｎａｎｄ Ｖｅｒｉｆｉｃａｔｉｏｎ ｏｆ  Ｒｅｕｔ
ｅｇ 
ｔｔ ｏｆ Ｔｈｉｎｓｓｅｍ
英文并列题目 Ｉｎｅｒｎｅｇ  Ｓｙｔ

面向资源的物联网系统形式化建模与验证来自淘豆网www.taodocs.com转载请标明出处.