位置：成果数据库 > 获奖 > 获奖详情页
软件系统的模型抽象与安全性验证
  • 颁奖组织：广西省科技厅
  • 类别：广西省科技进步奖
  • 级别：( 三等奖 )排名03
  • 所属机构名称：南京邮电大学
  • 成果类型：获奖
  • 相关项目：基于单子技术的网构软件构件模型及其演化研究
作者： 钱俊彦|赵岭忠|张迎周|骆翔宇|郭云川|
同获奖项目
基于单子技术的网构软件构件模型及其演化研究
期刊论文 29 会议论文 10 获奖 2 专利 2
同项目获奖
基于程序切片的Web服务安全分析与研究