张楠(Nan Zhang) 0003
人员信息
附属: 英国伯明翰大学
其他同名人员
张楠(Nan Zhang) — 消歧页 张楠(Nan Zhang) 0001 -西安西电大学计算理论与技术研究所/ISN实验室 张楠(Nan Zhang) 0002 -密歇根州立大学 张楠(Nan Zhang) 0004 — 宾夕法尼亚州立大学,宾夕法尼亚大学公园,美国 (还有1个) 张楠(Nan Zhang) 0005 -中佛罗里达大学 张楠(Nan Zhang) 0006 -北京工业大学 张楠(Nan Zhang) 0007 -中国科学院中国知识网格研究组 张楠(Nan Zhang) 0009 -凯泽斯劳滕大学 张楠(Nan Zhang) 0010 -新加坡国立大学多媒体信息实验室 张楠(Nan Zhang) 0011 -明尼苏达大学 张楠(Nan Zhang) 0012 -英国曼彻斯特大学化学工程与分析科学学院 张楠(Nan Zhang) 0013 -清华大学化学工程系,中国北京 张楠(Nan Zhang) 0014 — 华东师范大学计算机科学与技术学院,中国上海 (还有2个以上) 张楠(Nan Zhang) 0015 — 首都医科大学生物医学工程学院,北京,中国 (还有1个) 张楠(Nan Zhang) 0016 -德克萨斯农工大学,学院站,德克萨斯州,美国 张楠(Nan Zhang) 0017 -法国特洛伊斯理工大学ICD-LM2S 张楠(Nan Zhang) 0018 -美国布卢明顿印第安纳大学
其他同名人员
张浩南进 张楠 张建南 张楠(安迪) 张楠峰(Nan Feng Zhang) 张亚南(Yanan Zhang) (又名:张亚南,张亚南) — 消歧页 张一男(音) (又名:张艺南) — 消歧页 张英楠 张卫南(Weinan Zhang) 0003 (又名:张伟楠 0003 ) — 哈尔滨工业大学社会计算与信息检索研究中心 (还有1个) 张亚南(Ya-nan Zhang) 0003 — 苏州大学数学科学学院 (还有1个) 显示所有相似的名称
优化列表
2000 – 2009
2008 [j1] 张楠(Nan Zhang) , 马克·瑞恩 , 迪米塔尔·普·盖列夫 :
通过模型检查综合验证的访问控制系统。 J.计算。 安全。 16 ( 1 ) : 1-61 ( 2008 ) 2005 【b1】 张楠(Nan Zhang) :
通过模型检查生成经过验证的访问控制策略。 英国伯明翰大学, 2005 【c2】 张楠(Nan Zhang) , 马克·瑞恩 , 迪米塔尔·普·盖列夫 :
通过模型检查评估访问控制策略。 英思科 2005 : 446-460 2004 【c1】 张楠(Nan Zhang) , 马克·瑞恩 , 迪米塔尔·普·盖列夫 :
在XACML中合成经过验证的访问控制系统。 FMSE公司 2004 : 56-65