圖書館館藏資料查詢系統

查詢 text:Verification ，共 42 筆

Verification.(17)

Verification(6)

104 0 0 0 0

Coming to terms with security :a handbook on verification and compliance.

作者: United Nations Institute for Disarmament Research.

出版: Geneva, Switzerland :London : UNIDIR ;VERTIC ©2003.

資料類型: 電子書

4 0 0 0 0

Functional verification coverage measurement and analysis

作者: Piziali, Andrew.

出版: Boston : Kluwer Academic Publishers ©2004.

資料類型: 電子書

43 0 0 0 0

Numerical software with result verification :international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers

作者: Alt, René.

出版: Berlin ;New York : Springer ©2004.

資料類型: 電子書

4 0 0 0 0

Professional verification :a guide to advanced functional verification

作者: Wilcox, Paul,

出版: Boston : Kluwer Academic ©2004.

資料類型: 電子書

7 0 0 0 0

Computer aided verification :16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings

作者: Alur, Rajeev,

出版: Berlin ;New York : Springer ©2004.

資料類型: 電子書

6 0 0 0 0

Advanced verification techniques :a systemC based approach for successful tapeout

作者: Singh, Leena,

出版: Boston : Kluwer Academic Publishers ©2004.

資料類型: 電子書

Advanced formal verification

4 0 0 0 0

Verification by error modeling :using testing techniques in hardware verification

作者: Radecka, Katarzyna.

出版: Boston : Kluwer Academic Publishers 2003.

資料類型: 電子書

12 0 0 0 0

Co-verification of hardware and software for ARM SoC design

作者: Andrews, Jason R.

出版: Burlington, MA : Elsevier Newnes ©2005.

資料類型: 電子書