-
朱宜炳
-
-
- 所属机构:江西科技学院
- 所在地区:江西省
- 研究方向:自动化与计算机技术
- 发文基金:江西省自然科学基金
相关作者
- 罗敏
- 作品数：20被引量：50H指数：5
- 供职机构：江西省计算技术研究所
- 研究主题：安全协议 形式化方法 RFID 形式化分析 逻辑推理
- 肖美华
- 作品数：92被引量：240H指数：8
- 供职机构：华东交通大学
- 研究主题：形式化方法 SPIN 安全协议 形式化分析 形式化
- 张常泉
- 作品数：25被引量：27H指数：3
- 供职机构：江西科技学院
- 研究主题：计算机网络 网络安全 高校党建 工作绩效评价 物联网
- 刘俏威
- 作品数：4被引量：8H指数：2
- 供职机构：南昌大学信息工程学院
- 研究主题：SPIN 安全协议 自动生成 PROMELA 形式化
- 匡青
- 作品数：6被引量：31H指数：3
- 供职机构：天津师范大学
- 研究主题：高职院校 教学改革探索 教学改革 软件测试课程 软件测试
