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

相关作者

唐郑熠
作品数：50被引量：67H指数：4
供职机构：福建工程学院
研究主题：SPIN 行为时序逻辑 新鲜性 语义WEB PROMELA
吴尽昭
作品数：76被引量：154H指数：6
供职机构：广西民族大学
研究主题：英文 异构 PROMELA 形式化验证 任务调度算法
李祥
作品数：143被引量：421H指数：9
供职机构：中国科学技术大学
研究主题：公平 椭圆曲线密码体制 安全性 密码协议 SPIN
李彩虹
作品数：37被引量：57H指数：4
供职机构：兰州大学信息科学与工程学院
研究主题：传感器模块 处理器模块 SPIN PROMELA 感器
章超
作品数：6被引量：0H指数：0
供职机构：兰州大学
研究主题：SPIN PROMELA MODEL_CHECKING LTL FORMATION