Wen-Hui ZHANG(张文辉)Institute of Geology&Geophysics Chinese Academy of Sciences关注立即认领分享关注立即认领分享基本信息浏览量:0职业迁徙个人简介暂无内容研究兴趣论文共 10 篇作者统计合作学者相似作者按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选时间引用量主题期刊级别合作者合作机构物联网应用中访问控制智能合约的形式化验证孙鹏飞,张文辉,朱雪阳,赵颖琪,包玉龙计算机应用(2021)引用1浏览0引用10安全攸关软件系统及其质量保障张健,王海峰,张文辉,董威,徐宝文wf(2018)引用0浏览0引用00AKC攻击研究:攻击方式、转换算法和实例分析 麻婧,张文辉计算机系统应用(2016)引用0浏览0引用00邻近算法在一维大地电磁反演中的应用 黄卫航,金维浚,张文辉物探与化探(2016)引用0浏览0引用00微地震监测技术及应用金维浚,张衡,张文辉,段心标,刘伟地震(2013)引用0浏览0WOSSCOPUS引用00用H/V谱比法与折射微动法确定表土层参数张文辉,金维浚,张衡地震(2013)引用1浏览0WOSSCOPUS引用10水域电法在江、湖穿越工程中应用倪亮,陈大红,徐华文,张衡,金维浚,张文辉,林达明地球物理学进展(2012)引用0浏览0引用00Compositional Reasoning in Intuitionistic Linear-Time m-Calculus Asad Raza KAZMI Syed,Wen-Hui ZHANGJournal of Software(2009)引用25浏览0引用250模态逻辑与模型检测张文辉中国计算机学会通讯(2005)引用0浏览0引用00模型检测:理论、方法与应用林惠民,张文辉mag(2002)引用23浏览0引用230作者统计合作学者合作机构D-Core合作者学生导师暂无相似学者,你可以通过学者研究领域进行搜索筛选数据免责声明页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn