谷歌浏览器插件
订阅小程序
在清言上使用
VIPCreated with Sketch.

BigraphTalk: Verified Design of IoT Applications

Blair Archibald,Min-Zheng Shieh,Yu-Hsuan Hu,Michele Sevegnani,Yi-Bing Lin

IEEE Internet of Things Journal（2020）

引用 13|浏览7
关键词
Application platform,bigraphs,device management,model verification
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要