Books on the topic 'Hardware testing'

Wunderlich, Hans-Joachim, ed. Models in Hardware Testing. Dordrecht: Springer Netherlands, 2010. http://dx.doi.org/10.1007/978-90-481-3282-9.

Digital hardware testing: Transistor-level fault modeling and testing. Boston: Artech House, 1992.

Barner, Sharon, Ian Harris, Daniel Kroening, and Orna Raz, eds. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19583-9.

Biere, Armin, Amir Nahir, and Tanja Vos, eds. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39611-3.

Piterman, Nir, ed. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-26287-1.

Yorav, Karen, ed. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-77966-7.

Chockler, Hana, and Alan J. Hu, eds. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01702-5.

Strichman, Ofer, and Rachel Tzoref-Brill, eds. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-70389-3.

Ur, Shmuel, Eyal Bin, and Yaron Wolfsthal, eds. Hardware and Software, Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11678779.

Bin, Eyal, Avi Ziv, and Shmuel Ur, eds. Hardware and Software, Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-70889-6.

Namjoshi, Kedar, Andreas Zeller, and Avi Ziv, eds. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19237-1.

Eder, Kerstin, João Lourenço, and Onn Shehory, eds. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-34188-5.

Yahav, Eran, ed. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-13338-6.

Bertacco, Valeria, and Axel Legay, eds. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-03077-7.

Bloem, Roderick, and Eli Arbel, eds. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-49052-6.

PC hardware projects. Indianapolis, IN: Prompt Publications, 1997.

Officials, American Association of State Highway and Transportation. Manual for assessing safety hardware, 2009. Washington, DC: American Association of State Highway and Transportation Officials, 2009.

Computer hardware diagnostics for engineers. New York: McGraw-Hill, 1995.

Black, Rex. Managing the testing process: Practical tools and techniques for managing software and hardware testing. 3rd ed. Indianapolis, IN: Wiley, 2009.

Black, Rex. Managing the testing process: Practical tools and techniques for managing hardware and software testing. 2nd ed. New York: Wiley, 2002.

Zeljko, Zilic, ed. Verification by error modeling: Using testing techniques in hardware verification. Boston: Kluwer Academic Publishers, 2003.

Crittenden, Eugene Casson. Modification, testing, and calibration of infrared search and target designator hardware received from NSWC. Monterey, Calif: Naval Postgraduate School, 1989.

Wunderlich, Hans-Joachim. Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian Landrault. Dordrecht: Springer Science+Business Media B.V., 2010.

The E hardware verification language. Norwell, MA: Kluwer Academic Publishers, 2004.

Buford, James A., and Robert Lee Murrer. Technologies for synthetic environments: Hardware-in-the-loop testing XIV : 13 April 2009, Orlando, Florida, United States. Bellingham, Wash: SPIE, 2009.

Trask, Richard P. Cyclic fatigue testing of surface mooring hardware for the Arabian Sea mixed layer dynamics experiment. Woods Hole, Mass: Woods Hole Oceanographic Institution, Upper Ocean Processes Group, 1995.

Buford, James A., and Robert Lee Murrer. Technologies for synthetic environments: Hardware-in-the-loop testing XV : 7-8 April 2010, Orlando, Florida, United States. Edited by SPIE (Society). Bellingham, Wash: SPIE, 2010.

R, Taylor Tony, and Villar Julie N, eds. Elements of STIL: Principles and applications of IEEE Std. 1450. Boston: Kluwer Academic Publishers, 2003.

Murrer, Robert Lee. Technologies for synthetic environments: Hardware-in-the-loop testing XII : 10 April 2007, Orlando, Florida, USA. Bellingham, Wash: SPIE, 2007.

Murrer, Robert Lee. Technologies for synthetic environments: Hardware-in-the-loop testing XIII : 17-18 March 2008, Orlando, Florida, USA. Edited by Society of Photo-optical Instrumentation Engineers. Bellingham, Wash: SPIE, 2008.

Murrer, Robert Lee. Technologies for synthetic environments: Hardware-in-the-loop testing XII : 10 April 2007, Orlando, Florida, USA. Edited by Society of Photo-optical Instrumentation Engineers. Bellingham, Wash: SPIE, 2007.

Commission, United States International Trade. In the matter of certain hardware logic emulation systems and components thereof. Washington, DC: U.S. International Trade Commission, 1996.

Commission, United States International Trade. In the matter of certain hardware logic emulation systems and components thereof. Washington, DC: U.S. International Trade Commission, 1998.

Fanucci, Luca. An experimental approach to CDMA and interference mitigation: From system architecture to hardware testing through VLSI design. Boston: Kluwer Academic, 2004.

Fanucci, Luca. An experimental approach to CDMA and interference mitigation: From system architecture to hardware testing through VLSI design. New York: Springer, 2011.

CTL for test information of digital ICs. Boston: Kluwer Academic Publishers, 2003.

Calif.) Technologies for Synthetic Evironments: Hardware-in-the-Loop (Conference) (18th 2013 Burlingame. Technologies for Synthetic Evironments: Hardware-in-the-Loop XVIII: 2 May 2013, Baltimore, Maryland, United States. Edited by Buford James A. Jr, Murrer Robert Lee Jr, Ballard Gary H, and SPIE (Society). Bellingham, Washington, USA: SPIE, 2013.

Murrer, Robert Lee, and Scott B. Mobley. Technologies for synthetic environments: Hardware-in-the-loop XVI : 27-28 April 2011, Orlando, Florida, United States. Edited by SPIE (Society). Bellingham, Wash: SPIE, 2011.

Buford, James A. Technologies for synthetic environments: Hardware-in-the-loop, XVII : 25-26 April 2012, Baltimore, Maryland, United States. Bellingham, Washington: SPIE, 2012.

(Society), SPIE, ed. Technologies for synthetic environments: Hardware-in-the-loop XVI : 27-28 April 2011, Orlando, Florida, United States. Bellingham, Wash: SPIE, 2011.

Hana, Chockler, and Hu, Alan J. (Alan John), eds. Hardware and software: Verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings. Berlin: Springer, 2009.

Karen, Yorav, ed. Hardware and software, verification and testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings. Berlin: Springer, 2008.

Hanna, James P. Using WAVES and VHDL for Effective Design and Testing: A practical and useful tutorial and application guide for the Waveform and Vector Exchange Specification (WAVES). Boston, MA: Springer US, 1997.

Coleman, Hugh W. Impact of uncertainty on modeling and testing: Final report ... 10 January 1994 to 30 April 1995 ... contract number NAS8-38609, delivery order #106. [Washington, DC]: National Aeronautics and Space Administration, 1995.

IEEE International Workshop on IDDQ Testing (4th 1998 San Jose, California). 1998 IEEE International Workshop on IDDQ Testing: Proceedings : November 12-13, 1998, San Jose, California. Los Alamitos, California: IEEE Computer Society Press, 1998.

Barner, Sharon. Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.

Eyal, Bin, Ziv Avi, and Ur Shmuel, eds. Hardware and software, verification and testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers. Berlin: Springer, 2007.

João, Lourenço, Shehory Onn M. 1963-, and SpringerLink (Online service), eds. Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Namjoshi, Kedar S. Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.

Alan J. Hu,Hana Chockler. Hardware and Software: Verification and Testing. Springer, 2009.