搜索到 篇“ SPIN “的相关文章

相关作者

肖美华
作品数：84被引量：230H指数：8
供职机构：华东交通大学
研究主题：形式化方法 SPIN 安全协议 图像 形式化分析
陈道喜
作品数：16被引量：19H指数：3
供职机构：苏州技师学院
研究主题：SPIN PROMELA 样题 SET协议 SET
张广泉
作品数：231被引量：708H指数：14
供职机构：苏州大学计算机科学与技术学院
研究主题：软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
黄志球
作品数：388被引量：1,019H指数：15
供职机构：南京航空航天大学
研究主题：WEB服务 抽象语法树 隐私 本体 代码
董荣胜
作品数：178被引量：1,463H指数：14
供职机构：桂林电子科技大学
研究主题：决策图 无线传感器网络 MDD 原子性 计算思维