-
王志刚
-
-
- 所属机构:湖南师范大学数学与计算机科学学院
- 所在地区:湖南省 长沙市
- 研究方向:自动化与计算机技术
- 发文基金:湖南省教育厅科研基金
相关作者
- 王绍恒
- 作品数：42被引量：69H指数：4
- 供职机构：重庆三峡学院数学与统计学院
- 研究主题：有限群 MATHEMATICA软件 MATHEMATICA 计算机 PSL
- 高磊
- 作品数：5被引量：7H指数：2
- 供职机构：湖南师范大学数学与计算机科学学院
- 研究主题：进化 遗传算法 染色体 不确定性 形式化
- 丁湘陵
- 作品数：18被引量：19H指数：2
- 供职机构：怀化学院电气与信息工程学院
- 研究主题：形式化 图像加密 B方法 体系结构描述语言 精化
- 李琼
- 作品数：3被引量：0H指数：0
- 供职机构：湖南师范大学数学与计算机科学学院
- 研究主题：测试用例 V模型 SHELL编程 备份 脚本
- 汤小康
- 作品数：6被引量：33H指数：4
- 供职机构：广东商学院
- 研究主题：Z 形式化 UML 基于UML 软件体系结构
