作者中心
  作者指南
  作者登录
  审者中心
  审者指南
  审者登录
  编委中心
  主编登录
  编委登录
  编辑登录
  读者中心
  读者指南
  期刊订阅
  E-mail Alert
  RSS
  友情链接
·北京航空航天大学
·Ei Village
·CSA(剑桥科学文摘数据库)
·中国知网(CNKI)
本刊包含 PACS 号为 "TP309" 的文章:
2348 蔡军, 邹鹏, 马金鑫, 何骏
  基于禁忌搜索的动态符号执行方法
    北京航空航天大学学报   2015 Vol.41 (12): 2348-2355 [摘要] (313) [HTML 1 KB] [PDF 1858 KB] (193)
817 何炎祥, 喻涛, 刘健博, 徐超
  基于Esterel的代码自动生成方法
    北京航空航天大学学报   2015 Vol.41 (5): 817-824 [摘要] (338) [HTML 1 KB] [PDF 2406 KB] (320)
1315 马丽, 马世龙, 眭跃飞
  基于描述逻辑DLRBAC的RBAC形式化模型
    北京航空航天大学学报   2010 Vol.36 (11): 1315-1319 [摘要] (2589) [HTML 1 KB] [PDF 563 KB] (969)
首页 | 前页 | 后页 | 末页第1页 共1页 共3条记录
版权所有 © 《北京航空航天大学学报》编辑部
地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 电子信箱:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发  技术支持:support@magtech.com.cn