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

相关作者

唐郑熠
作品数:50被引量:77H指数:4
供职机构:福建工程学院
研究主题:SPIN 行为时序逻辑 新鲜性 语义WEB PROMELA
吴尽昭
作品数:77被引量:173H指数:7
供职机构:广西民族大学
研究主题:英文 异构 PROMELA 形式化验证 任务调度算法
李祥
作品数:145被引量:424H指数:9
供职机构:贵州大学
研究主题:公平 椭圆曲线密码体制 安全性 密码协议 SPIN
李彩虹
作品数:40被引量:61H指数:4
供职机构:兰州大学
研究主题:传感器模块 处理器模块 SPIN PROMELA 感器
章超
作品数:6被引量:0H指数:0
供职机构:兰州大学
研究主题:SPIN PROMELA MODEL_CHECKING LTL FORMATION