内森·怀特黑德
人员信息
优化列表
2010 – 2019
2018 [j1] 内森·怀特黑德 , 宋一新 , 石华木业(Shiuh-Hua Wood Chiang) :
高增益和互补电荷转向放大器的直接测量。 IEEE传输。 电路系统。 II快速简报 第65页-第II页 ( 6 ) : 714-718 ( 2018 )
2000 – 2009
2007 【c4】 内森·怀特黑德 , 乔丹·约翰逊 , 马丁·阿巴迪 :
代码审核的策略和证明。 ATVA公司 2007 : 1-14 2006 【c3】 内森·怀特黑德 :
用于授权代码的认证分布式安全逻辑。 类型 2006 : 253-268 2004 【c2】 内森·怀特黑德 , 马丁·阿巴迪 , 乔治·C·内库拉 :
按理由和权限:一个携带证明代码的授权系统。 CSFW公司 2004 : 236-250 【c1】 内森·怀特黑德 , 马丁·阿巴迪 :
BCiC:代码认证和验证系统。 LPAR公司 2004 : 110-124