Książki na temat „Formal verification”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych książek naukowych na temat „Formal verification”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj książki z różnych dziedzin i twórz odpowiednie bibliografie.
Kropf, Thomas, red. Formal Hardware Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63475-4.
Pełny tekst źródłaDrechsler, Rolf, red. Advanced Formal Verification. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/b105236.
Pełny tekst źródłaDrechsler, Rolf, red. Formal System Verification. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-57685-5.
Pełny tekst źródłaRolf, Drechsler, red. Advanced formal verification. Boston: Kluwer Academic Publishers, 2004.
Znajdź pełny tekst źródłaDrechsler, Rolf. Formal Verification of Circuits. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/978-1-4757-3184-2.
Pełny tekst źródłaDrechsler, Rolf. Formal Verification of Circuits. Boston, MA: Springer US, 2000.
Znajdź pełny tekst źródłaBoulanger, Jean-Louis. Industrial used of formal method: Formal verification. London: ISTE, 2012.
Znajdź pełny tekst źródłaKropf, Thomas. Introduction to Formal Hardware Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999.
Znajdź pełny tekst źródłaBernardo, Marco, i Alessandro Cimatti, red. Formal Methods for Hardware Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11757283.
Pełny tekst źródłaRay, Sandip. Scalable Techniques for Formal Verification. Boston, MA: Springer US, 2010. http://dx.doi.org/10.1007/978-1-4419-5998-0.
Pełny tekst źródłaKropf, Thomas. Introduction to Formal Hardware Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/978-3-662-03809-3.
Pełny tekst źródłaNational Computer Security Center (U.S.), red. Guidelines for formal verification systems. [Fort George G. Meade, MD]: National Computer Security Center, 1989.
Znajdź pełny tekst źródłaUnited States. Department of Defense. National Computer Security Center. Guidelines for formal verification systems. Fort George G. Meade, Md: Department of Defense, National Computer Security Center, 1989.
Znajdź pełny tekst źródłaMichael, Yoeli, red. Formal verification of hardware design. Los Alamos, Calif: IEEE Computer Society Press, 1990.
Znajdź pełny tekst źródłaGordon, M. J. C. Hardware verification by formal proof. Cambridge: University of Cambridge, Cambridge Laboratory, 1985.
Znajdź pełny tekst źródłaMargaria, Tiziana, i Bernhard Steffen, red. Leveraging Applications of Formal Methods, Verification and Validation. Verification. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-03421-4.
Pełny tekst źródłaMargaria, Tiziana, i Bernhard Steffen, red. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-19849-6.
Pełny tekst źródłaMargaria, Tiziana, i Bernhard Steffen, red. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-61362-4.
Pełny tekst źródłaGanai, Malay K., i Aarti Gupta. SAT-Based Scalable Formal Verification Solutions. Boston, MA: Springer US, 2007. http://dx.doi.org/10.1007/978-0-387-69167-1.
Pełny tekst źródłaZhan, Naijun, Shuling Wang i Hengjun Zhao. Formal Verification of Simulink/Stateflow Diagrams. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-47016-0.
Pełny tekst źródłaBeckert, Bernhard, Ferruccio Damiani i Dilian Gurov, red. Formal Verification of Object-Oriented Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31762-0.
Pełny tekst źródłaBeckert, Bernhard, i Claude Marché, red. Formal Verification of Object-Oriented Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-18070-5.
Pełny tekst źródłaWindley, Philip. The formal verification of generic interpreters. Hampton, Va: Langley Research Center, 1991.
Znajdź pełny tekst źródłaMahzoon, Alireza, Daniel Große i Rolf Drechsler. Formal Verification of Structurally Complex Multipliers. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-24571-8.
Pełny tekst źródłaK, Levitt, i United States. National Aeronautics and Space Administration. Scientific and Technical Information Program., red. The formal verification of generic interpreters. [Washington, DC]: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, 1991.
Znajdź pełny tekst źródłaHerbert, John. Formal verification of basic memory devices. Cambridge: University of Cambridge, Computer Laboratory, 1988.
Znajdź pełny tekst źródłaSrivas, Mandayam K. Formal verification of an avionics microprocessor. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.
Znajdź pełny tekst źródłaAn introduction to formal program verification. New York: Van Nostrand Reinhold Co., 1985.
Znajdź pełny tekst źródłaSchnieber, Martha. Polynomial Formal Verification of Approximate Functions. Wiesbaden: Springer Fachmedien Wiesbaden, 2023. http://dx.doi.org/10.1007/978-3-658-41888-5.
Pełny tekst źródłaLevitt, Karl. Formal verification of a microcoded VIPER microprocessor using HOL. Hampton, Va: Langley Research Center, 1993.
Znajdź pełny tekst źródłaRussinoff, David M. Formal Verification of Floating-Point Hardware Design. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-87181-9.
Pełny tekst źródłaPetrucci, Laure, Cristina Seceleanu i Ana Cavalcanti, red. Critical Systems: Formal Methods and Automated Verification. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-67113-0.
Pełny tekst źródłaRussinoff, David M. Formal Verification of Floating-Point Hardware Design. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-319-95513-1.
Pełny tekst źródłater Beek, Maurice H., Stefania Gnesi i Alexander Knapp, red. Critical Systems: Formal Methods and Automated Verification. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-45943-1.
Pełny tekst źródłaJones, Robert B. Symbolic Simulation Methods for Industrial Formal Verification. Boston, MA: Springer US, 2002. http://dx.doi.org/10.1007/978-1-4615-1101-4.
Pełny tekst źródłaP, Miller Steven, Langley Research Center i United States. National Aeronautics and Space Administration., red. Formal verification of the AAMP-FV microcode. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1999.
Znajdź pełny tekst źródłaP, Miller Steven, i Langley Research Center, red. Formal verification of the AAMP-FV microcode. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1999.
Znajdź pełny tekst źródłaFormal specification and verification of digital systems. London: McGraw-Hill, 1994.
Znajdź pełny tekst źródłaB, Jones Robert. Symbolic Simulation Methods for Industrial Formal Verification. Boston, MA: Springer US, 2002.
Znajdź pełny tekst źródłaDavie, Bruce S. Formal specification and verification in VLSI design. Edinburgh: Edinburgh University Press, 1990.
Znajdź pełny tekst źródłaJones, Robert B. Symbolic simulation methods for industrial formal verification. Boston: Kluwer Academic Publishers, 2002.
Znajdź pełny tekst źródłaMargaria, Tiziana, i Bernhard Steffen, red. Leveraging Applications of Formal Methods, Verification and Validation. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-89159-6.
Pełny tekst źródłaMargaria, Tiziana, i Bernhard Steffen, red. Leveraging Applications of Formal Methods, Verification and Validation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-88479-8.
Pełny tekst źródłaDrechsler, Rolf, i Ulrich Kühne, red. Formal Modeling and Verification of Cyber-Physical Systems. Wiesbaden: Springer Fachmedien Wiesbaden, 2015. http://dx.doi.org/10.1007/978-3-658-09994-7.
Pełny tekst źródłaMargaria, Tiziana, i Bernhard Steffen, red. Leveraging Applications of Formal Methods, Verification, and Validation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16558-0.
Pełny tekst źródłaMargaria, Tiziana, i Bernhard Steffen, red. Leveraging Applications of Formal Methods, Verification, and Validation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16561-0.
Pełny tekst źródłaLamprecht, Anna-Lena, red. Leveraging Applications of Formal Methods, Verification, and Validation. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-51641-7.
Pełny tekst źródłaHavelund, Klaus, Manuel Núñez, Grigore Roşu i Burkhart Wolff, red. Formal Approaches to Software Testing and Runtime Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11940197.
Pełny tekst źródłaHähnle, Reiner, Jens Knoop, Tiziana Margaria, Dietmar Schreiner i Bernhard Steffen, red. Leveraging Applications of Formal Methods, Verification, and Validation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-34781-8.
Pełny tekst źródła1961-, Kropf Thomas, red. Formal hardware verification: Methods and systems in comparison. Berlin: Springer, 1997.
Znajdź pełny tekst źródła