廖云燕
作品数: 22被引量:13H指数:2
  • 所属机构:江西师范大学
  • 所在地区:江西省 南昌市
  • 研究方向:文化科学
  • 发文基金:江西省自然科学基金

相关作者

徐高翔
作品数:8被引量:8H指数:2
供职机构:江西师范大学
研究主题:高校校园网 流量控制 校园网 VOD 流媒体
胡启敏
作品数:17被引量:144H指数:7
供职机构:江西师范大学
研究主题:PAR方法 J2EE 形式化方法 形式化描述 形式化推导
左正康
作品数:47被引量:63H指数:6
供职机构:江西师范大学
研究主题:APLA 循环不变式 机械化 形式化证明 泛型
叶继华
作品数:98被引量:344H指数:10
供职机构:江西师范大学计算机信息工程学院
研究主题:人脸识别 仿真 SIMULINK 2DPCA 不确定度
王昌晶
作品数:57被引量:73H指数:6
供职机构:江西师范大学
研究主题:形式化推导 循环不变式 泛型 PAR平台 APLA