1
出版 2007
书本目录: ... with Cooperating Analysis Plugins -- The Why/Krakatoa/Caduceus Platform for Deductive Program Verification...
获取全文
电子 电子书
2
出版 2014
书本目录: ... Techniques -- Circle of Trust - One-Hop Trust Based Security Paradigm for Resource Constraint MANET -- Design...
获取全文
电子 电子书