查詢 text:Verification ,共 37 筆
-
101 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.
- 資料類型: 電子書
-
40 0 0 0 0
Numerical software with result verification :international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers
- 作者: Alt, René.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
3 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.
- 資料類型: 電子書
-
5 0 0 0 0
Advanced verification techniques :a systemC based approach for successful tapeout
- 作者: Singh, Leena,
- 出版: Boston : Kluwer Academic Publishers ©2004.
- 資料類型: 電子書
-
2 0 0 0 0
The implementation of legally binding measures to strengthen the biological and toxin weapons convention
- 作者: Chevrier, Marie Isabelle.
- 出版: Dordrecht ;Boston : Kluwer Academic Publishers ©2004.
- 資料類型: 電子書
-
6 0 0 0 0
Advanced formal verification
- 作者: Drechsler, Rolf.
- 出版: Boston : Kluwer Academic Publishers ©2004.
- 資料類型: 電子書
-
3 0 0 0 0
Verification by error modeling :using testing techniques in hardware verification
- 作者: Radecka, Katarzyna.
- 出版: Boston : Kluwer Academic Publishers 2003.
- 資料類型: 電子書
-
10 0 0 0 0
Co-verification of hardware and software for ARM SoC design
- 作者: Andrews, Jason R.
- 出版: Burlington, MA : Elsevier Newnes ©2005.
- 資料類型: 電子書