-
廖云燕
-

-

- 所属机构:江西师范大学
- 所在地区:江西省 南昌市
- 研究方向:文化科学
- 发文基金:江西省自然科学基金
相关作者
- 徐高翔

- 作品数:8被引量:8H指数:2
- 供职机构:江西师范大学
- 研究主题:高校校园网 流量控制 校园网 VOD 流媒体
- 胡启敏

- 作品数:17被引量:144H指数:7
- 供职机构:江西师范大学
- 研究主题:PAR方法 J2EE 形式化方法 形式化描述 形式化推导
- 左正康

- 作品数:47被引量:63H指数:6
- 供职机构:江西师范大学
- 研究主题:APLA 循环不变式 机械化 形式化证明 泛型
- 叶继华

- 作品数:98被引量:344H指数:10
- 供职机构:江西师范大学计算机信息工程学院
- 研究主题:人脸识别 仿真 SIMULINK 2DPCA 不确定度
- 王昌晶

- 作品数:57被引量:73H指数:6
- 供职机构:江西师范大学
- 研究主题:形式化推导 循环不变式 泛型 PAR平台 APLA