-
张涛
-
-
- 所属机构:解放军理工大学指挥自动化学院
- 所在地区:江苏省 南京市
- 研究方向:自动化与计算机技术
- 发文基金:国家高技术研究发展计划
相关作者
- 王金双
- 作品数：54被引量：112H指数：4
- 供职机构：解放军理工大学
- 研究主题：形式化验证 应用程序 ANDROID L系统 ANDROID平台
- 赵敏
- 作品数：39被引量：30H指数：3
- 供职机构：解放军理工大学
- 研究主题：应用程序 ANDROID L系统 ANDROID平台 RI
- 赵成
- 作品数：14被引量：20H指数：3
- 供职机构：解放军理工大学
- 研究主题：ORACLE 访问控制 ORACLE数据库 安全特性 服务器端
- 袁志坚
- 作品数：45被引量：43H指数：5
- 供职机构：解放军理工大学
- 研究主题：数据流 应用程序 ANDROID平台 L系统 RI
- 张毓森
- 作品数：92被引量：404H指数：10
- 供职机构：解放军理工大学指挥自动化学院
- 研究主题：LINUX 访问控制 兴趣域 形式化验证 策略管理
