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, ed. Formal Hardware Verification. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63475-4.
Pełny tekst źródłaDrechsler, Rolf, ed. Advanced Formal Verification. Springer US, 2004. http://dx.doi.org/10.1007/b105236.
Pełny tekst źródłaDrechsler, Rolf, ed. Formal System Verification. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-57685-5.
Pełny tekst źródłaRolf, Drechsler, ed. Advanced formal verification. Kluwer Academic Publishers, 2004.
Znajdź pełny tekst źródłaDrechsler, Rolf. Formal Verification of Circuits. Springer US, 2000. http://dx.doi.org/10.1007/978-1-4757-3184-2.
Pełny tekst źródłaBoulanger, Jean-Louis. Industrial used of formal method: Formal verification. ISTE, 2012.
Znajdź pełny tekst źródłaKropf, Thomas. Introduction to Formal Hardware Verification. Springer Berlin Heidelberg, 1999.
Znajdź pełny tekst źródłaBernardo, Marco, and Alessandro Cimatti, eds. Formal Methods for Hardware Verification. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11757283.
Pełny tekst źródłaRay, Sandip. Scalable Techniques for Formal Verification. 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. 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.), ed. Guidelines for formal verification systems. National Computer Security Center, 1989.
Znajdź pełny tekst źródłaGordon, M. J. C. Hardware verification by formal proof. University of Cambridge, Cambridge Laboratory, 1985.
Znajdź pełny tekst źródłaUnited States. Department of Defense. National Computer Security Center. Guidelines for formal verification systems. Department of Defense, National Computer Security Center, 1989.
Znajdź pełny tekst źródłaMichael, Yoeli, ed. Formal verification of hardware design. IEEE Computer Society Press, 1990.
Znajdź pełny tekst źródłaMargaria, Tiziana, and Bernhard Steffen, eds. Leveraging Applications of Formal Methods, Verification and Validation. Verification. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-03421-4.
Pełny tekst źródłaMargaria, Tiziana, and Bernhard Steffen, eds. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-19849-6.
Pełny tekst źródłaMargaria, Tiziana, and Bernhard Steffen, eds. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-61362-4.
Pełny tekst źródłaGanai, Malay K., and Aarti Gupta. SAT-Based Scalable Formal Verification Solutions. Springer US, 2007. http://dx.doi.org/10.1007/978-0-387-69167-1.
Pełny tekst źródłaZhan, Naijun, Shuling Wang, and Hengjun Zhao. Formal Verification of Simulink/Stateflow Diagrams. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-47016-0.
Pełny tekst źródłaBeckert, Bernhard, Ferruccio Damiani, and Dilian Gurov, eds. Formal Verification of Object-Oriented Software. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31762-0.
Pełny tekst źródłaBeckert, Bernhard, and Claude Marché, eds. Formal Verification of Object-Oriented Software. 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. Langley Research Center, 1991.
Znajdź pełny tekst źródłaMahzoon, Alireza, Daniel Große, and Rolf Drechsler. Formal Verification of Structurally Complex Multipliers. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-24571-8.
Pełny tekst źródłaK, Levitt, and United States. National Aeronautics and Space Administration. Scientific and Technical Information Program., eds. The formal verification of generic interpreters. 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. University of Cambridge, Computer Laboratory, 1988.
Znajdź pełny tekst źródłaSrivas, Mandayam K. Formal verification of an avionics microprocessor. National Aeronautics and Space Administration, Langley Research Center, 1995.
Znajdź pełny tekst źródłaSchnieber, Martha. Polynomial Formal Verification of Approximate Functions. Springer Fachmedien Wiesbaden, 2023. http://dx.doi.org/10.1007/978-3-658-41888-5.
Pełny tekst źródłaMargaria, Tiziana, and Bernhard Steffen, eds. Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification. Springer Nature Switzerland, 2025. http://dx.doi.org/10.1007/978-3-031-75380-0.
Pełny tekst źródłaLevitt, Karl. Formal verification of a microcoded VIPER microprocessor using HOL. Langley Research Center, 1993.
Znajdź pełny tekst źródłaRussinoff, David M. Formal Verification of Floating-Point Hardware Design. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-87181-9.
Pełny tekst źródłaPetrucci, Laure, Cristina Seceleanu, and Ana Cavalcanti, eds. Critical Systems: Formal Methods and Automated Verification. 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. 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, and Alexander Knapp, eds. Critical Systems: Formal Methods and Automated Verification. 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. 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, and United States. National Aeronautics and Space Administration., eds. Formal verification of the AAMP-FV microcode. National Aeronautics and Space Administration, Langley Research Center, 1999.
Znajdź pełny tekst źródłaP, Miller Steven, and Langley Research Center, eds. Formal verification of the AAMP-FV microcode. National Aeronautics and Space Administration, Langley Research Center, 1999.
Znajdź pełny tekst źródłaB, Jones Robert. Symbolic Simulation Methods for Industrial Formal Verification. Springer US, 2002.
Znajdź pełny tekst źródłaDavie, Bruce S. Formal specification and verification in VLSI design. Edinburgh University Press, 1990.
Znajdź pełny tekst źródłaJones, Robert B. Symbolic simulation methods for industrial formal verification. Kluwer Academic Publishers, 2002.
Znajdź pełny tekst źródłaMargaria, Tiziana, and Bernhard Steffen, eds. Leveraging Applications of Formal Methods, Verification and Validation. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-89159-6.
Pełny tekst źródłaMargaria, Tiziana, and Bernhard Steffen, eds. Leveraging Applications of Formal Methods, Verification and Validation. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-88479-8.
Pełny tekst źródłaDrechsler, Rolf, and Ulrich Kühne, eds. Formal Modeling and Verification of Cyber-Physical Systems. Springer Fachmedien Wiesbaden, 2015. http://dx.doi.org/10.1007/978-3-658-09994-7.
Pełny tekst źródłaMargaria, Tiziana, and Bernhard Steffen, eds. Leveraging Applications of Formal Methods, Verification, and Validation. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16558-0.
Pełny tekst źródłaMargaria, Tiziana, and Bernhard Steffen, eds. Leveraging Applications of Formal Methods, Verification, and Validation. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16561-0.
Pełny tekst źródłaLamprecht, Anna-Lena, ed. Leveraging Applications of Formal Methods, Verification, and Validation. 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, and Burkhart Wolff, eds. Formal Approaches to Software Testing and Runtime Verification. 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, and Bernhard Steffen, eds. Leveraging Applications of Formal Methods, Verification, and Validation. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-34781-8.
Pełny tekst źródła1961-, Kropf Thomas, ed. Formal hardware verification: Methods and systems in comparison. Springer, 1997.
Znajdź pełny tekst źródłaSchneider, Klaus. Verification of Reactive Systems: Formal Methods and Algorithms. Springer Berlin Heidelberg, 2004.
Znajdź pełny tekst źródła