-
陈小红
-
![](/images/user-pic.gif)
-
![](/images/index-lm-pic2.jpg)
- 所属机构:华东师范大学
- 所在地区:上海市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 金芝
![](/images/user-pic.gif)
- 作品数:166被引量:1,223H指数:17
- 供职机构:北京大学信息科学技术学院高可信软件技术教育部重点实验室
- 研究主题:物联网 软件系统 环境本体 软件工程 存储介质
- 孙海英
![](/images/user-pic.gif)
- 作品数:17被引量:14H指数:2
- 供职机构:华东师范大学
- 研究主题:ML 状态机 形式化 形式化方法 形式化建模
- 陈铭松
![](/images/user-pic.gif)
- 作品数:109被引量:81H指数:4
- 供职机构:华东师范大学
- 研究主题:物联网 云计算 规约 语言描述 信物
- 潘懋
![](/images/user-pic.gif)
- 作品数:358被引量:3,347H指数:28
- 供职机构:北京大学
- 研究主题:GIS 地理信息系统 三维地质建模 地质 泥石流
- 刘静
![](/images/user-pic.gif)
- 作品数:99被引量:89H指数:4
- 供职机构:华东师范大学
- 研究主题:太极拳运动 译码 ML 校验方法 系统模型