Книги з теми "Verification and testing"

Srinivas, Devadas, and Newton A. Richard 1951-, eds. Sequential logic testing and verification. Boston: Kluwer Academic, 1992.

Ghosh, Abhijit, Srinivas Devadas, and A. Richard Newton. Sequential Logic Testing and Verification. Boston, MA: Springer US, 1992. http://dx.doi.org/10.1007/978-1-4615-3646-8.

Ghosh, Abhijit. Sequential Logic Testing and Verification. Boston, MA: Springer US, 1992.

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

IFIP WG 6.1 International Symposium on Protocol Specification, Testing and Verification (14th 1994 Vancouver, B.C). Protocol specification, testing and verification XIV. London: Chapman & Hall, 1995.

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.

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.

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.

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.

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.

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.

Dembiński, Piotr, and Marek Średniawa, eds. Protocol Specification, Testing and Verification XV. Boston, MA: Springer US, 1996. http://dx.doi.org/10.1007/978-0-387-34892-6.

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.

Vuong, Son T., and Samuel T. Chanson, eds. Protocol Specification, Testing and Verification XIV. Boston, MA: Springer US, 1995. http://dx.doi.org/10.1007/978-0-387-34867-4.

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.

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.

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.

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.

Engel, Avner. Verification, Validation, and Testing of Engineered Systems. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2010. http://dx.doi.org/10.1002/9780470618851.

Haug, Michael, Eric W. Olsen, and Luisa Consolini, eds. Software Quality Approaches: Testing, Verification, and Validation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-56612-7.

Verification, validation, and testing of engineered systems. Hoboken, N.J: Wiley, 2010.

Allwes, Richard A. Arch canopy verification tests. Washington, D.C: Bureau of Mines, U.S. Dept. of the Interior, 1990.

Beautiful testing. Sebastopol, Calif: O'Reilly, 2010.

Reliability Verification, Testing, and Analysis in Engineering Design. New York: Marcel Dekker, Inc., 2003.

Reliability verification, testing, and analysis in engineering design. New York: Marcel Dekker, 2003.

Havelund, Klaus, Manuel Núñez, Grigore Roşu, and Burkhart Wolff, eds. Formal Approaches to Software Testing and Runtime Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11940197.

Berglund, Tim. Building and testing with Gradle. Sebastopol, CA: O'Reilly Media, 2011.

IFIP, WG 6. 1. International Workshop on Protocol Specification Testing and Verification (4th 1984 Skytop Lodge Pa ). Protocol specification, testing, and verification, IV: Proceedings of the IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification. Amsterdam: North-Holland, 1985.

Srivas, Mandayam K. Formal verification of an avionics microprocessor. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.

Rolf, Drechsler, ed. Advanced formal verification. Boston: Kluwer Academic Publishers, 2004.

Mizuno, Tadanori, Norio Shiratori, Teruo Higashino, and Atsushi Togashi, eds. Formal Description Techniques and Protocol Specification, Testing and Verification. Boston, MA: Springer US, 1997. http://dx.doi.org/10.1007/978-0-387-35271-8.

Sequential Logic Testing and Verification. Springer, 2011.

Radecka, Katarzyna, and Zeljko Zilic. Verification by Error Modeling: Using Testing Techniques in Hardware Verification (Frontiers in Electronic Testing). Springer, 2003.

Radecka, Katarzyna. Verification by Error Modeling: Using Testing Techniques In Hardware Verification. Springer, 2010.

Radecka, Katarzyna, and Zeljko Zilic. Verification by Error Modeling: Using Testing Techniques in Hardware Verification. Springer London, Limited, 2006.

Drechsler, Rolf. Advanced Formal Verification. Springer, 2004.

Canada. Dept. of External Affairs., ed. Seismic verification. Ottawa, Ont: External Affairs Canada, 1986.

Protocol Specification, Testing, and Verification, V. Elsevier Science Ltd, 1986.

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

Chanson, S. T. Protocol Specification, Testing and Verification XIV. Springer, 1994.

(Editor), Piotr Dembinski, and Marek Sredniawa (Editor), eds. Protocol Specification, Testing and Verification XV. Springer, 1995.

Dembinski, Piotr, and Marek Sredniawa. Protocol Specification, Testing and Verification XV. Springer, 2016.

J, Andriole Stephen, and United States. National Bureau of Standards., eds. Software validation, verification, testing, and documentation. Princeton, N.J: Petrocelli Books, 1986.

Protocol Specification, Testing and Verification, XII. Elsevier, 1992. http://dx.doi.org/10.1016/c2009-0-10203-9.

United States. Congress. Office of Technology Assessment., ed. Seismic verification of nuclear testing treaties. Washington, DC: Congress of the U.S., Office of Technology Assessment, 1988.

Vuong, S. T., and Samuel T. Chanson. Protocol Specification, Testing and Verification XIV. Springer, 2013.

Vuong, S. T., and Samuel T. Chanson. Protocol Specification, Testing and Verification XIV. Springer London, Limited, 2013.

Protocol Specification, Testing and Verification, IV. North-Holland, 1985.