Bücher zum Thema „Model and Program Verification“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Bücher für die Forschung zum Thema "Model and Program Verification" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Bücher für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Dampier, David A. A model for merging software prototypes. Monterey, Calif: Naval Postgraduate School, 1992.
Den vollen Inhalt der Quelle findenGeorge, Sabolish, und United States. National Aeronautics and Space Administration., Hrsg. A process improvement model for software verification and validation. [Morgantown, West Va.]: West Virginia University, 1994.
Den vollen Inhalt der Quelle findenLarsen, Gunner C. Verification of Design Basis Program 2: A coupled aeroelastic wind turbine model. Roskilde, Denmark: Risø National Laboratory, 1994.
Den vollen Inhalt der Quelle findenU.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research, Hrsg. The development and verification of TRACE model for IIST experiments. Washington, DC: Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission, 2011.
Den vollen Inhalt der Quelle findenVMCAI 2004 (Conference) (2004 Venice, Italy). Verification, model checking, and abstract interpretation: 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings. Berlin: Springer, 2004.
Den vollen Inhalt der Quelle findenFrancesco, Logozzo, Peled Doron 1962- und Zuck Lenore D. 1958-, Hrsg. Verification, model checking, and abstract interpretation: 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings. Berlin: Springer, 2008.
Den vollen Inhalt der Quelle findenCenter, Langley Research, Hrsg. A verification procedure for MSC/NASTRAN finite element models. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.
Den vollen Inhalt der Quelle findenAgostino, Cortesi, Hrsg. Verification, model checking, and abstract interpretation: Third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers. Berlin: Springer, 2002.
Den vollen Inhalt der Quelle findenRoever, W. P. de. Data refinement: Model-oriented proof methods and their comparison. Cambridge: Cambridge University Press, 2009.
Den vollen Inhalt der Quelle findenRadhia, Cousot, Hrsg. Verification, model checking, and abstract interpretation: 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings. Berlin: Springer, 2005.
Den vollen Inhalt der Quelle findenCenter, Langley Research, Hrsg. Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.
Den vollen Inhalt der Quelle findenCenter, Langley Research, Hrsg. Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.
Den vollen Inhalt der Quelle findenHana, Chockler, und Hu, Alan J. (Alan John), Hrsg. Hardware and software: Verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings. Berlin: Springer, 2009.
Den vollen Inhalt der Quelle findenDavid, Hutchison. Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.
Den vollen Inhalt der Quelle findenB, Gatski T., und NASA Glenn Research Center, Hrsg. Summary of EASM turbulence models in CFL3D with validation test cases. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 2003.
Den vollen Inhalt der Quelle findenVMCAI 2010 (2010 Madrid, Spain). Verification, model checking, and abstract interpretation: 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings. Berlin: Springer, 2010.
Den vollen Inhalt der Quelle findenGiacobazzi, Roberto. Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Den vollen Inhalt der Quelle findenJhala, Ranjit. Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.
Den vollen Inhalt der Quelle findenCenter, Langley Research, Hrsg. Measurement-based reliability/performability models. [Hampton, VA: Langley Research Ctr., 1987.
Den vollen Inhalt der Quelle findenCenter, Langley Research, Hrsg. Measurement-based reliability/performability models. [Hampton, VA: Langley Research Ctr., 1987.
Den vollen Inhalt der Quelle findenCenter, Langley Research, Hrsg. Measurement-based reliability/performability models. [Hampton, VA: Langley Research Ctr., 1987.
Den vollen Inhalt der Quelle findenCenter, Langley Research, Hrsg. Measurement-based reliability/performability models. [Hampton, VA: Langley Research Ctr., 1987.
Den vollen Inhalt der Quelle findenNamjoshi, 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.
Den vollen Inhalt der Quelle findenVMCAI 2004 (2004 Venice, Italy). Verification, model checking, and abstract interpretation: 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings. New York: Springer, 2004.
Den vollen Inhalt der Quelle findenVMCAI 2004 (2004 Venice, Italy). Verification, model checking, and abstract interpretation: 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 ; proceedings. Berlin: Springer, 2004.
Den vollen Inhalt der Quelle finden1925-, Georgiadis Nicholas, Smith Crawford F und United States. National Aeronautics and Space Administration., Hrsg. Validation of the NPARC code for nozzle afterbody flows at transonic speeds. [Washington, DC]: National Aeronautics and Space Administration, 1995.
Den vollen Inhalt der Quelle findenJ, Georgiadis Nicholas, Smith Crawford F und United States. National Aeronautics and Space Administration., Hrsg. Validation of the NPARC code for nozzle afterbody flows at transonic speeds. [Washington, DC]: National Aeronautics and Space Administration, 1995.
Den vollen Inhalt der Quelle findenKuncak, Viktor. Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Den vollen Inhalt der Quelle findenDonaldson, Alastair. Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Den vollen Inhalt der Quelle findenJ, Hall Edward, Delaney Robert A und Lewis Research Center, Hrsg. Follow-on low noise fan aerodynamic study: Task 15-final report. [Cleveland, Ohio]: National Aeronautics and Space Administration, Lewis Research Center, 1999.
Den vollen Inhalt der Quelle findenJ, Hall Edward, Delaney R. A und Lewis Research Center, Hrsg. Follow-on low noise fan aerodynamic study: Task 15-final report. [Cleveland, Ohio]: National Aeronautics and Space Administration, Lewis Research Center, 1999.
Den vollen Inhalt der Quelle findenJ, Hall Edward, Delaney Robert A und Lewis Research Center, Hrsg. Follow-on low noise fan aerodynamic study: Task 15-final report. [Cleveland, Ohio]: National Aeronautics and Space Administration, Lewis Research Center, 1999.
Den vollen Inhalt der Quelle findenColburn, Timothy R., James H. Fetzer und Terry L. Rankin, Hrsg. Program Verification. Dordrecht: Springer Netherlands, 1993. http://dx.doi.org/10.1007/978-94-011-1793-7.
Der volle Inhalt der QuelleProgram verification. Wokingham, Eng: Addison-Wesley Pub. Co., 1992.
Den vollen Inhalt der Quelle findenCanada. Dept. of External Affairs., Hrsg. Verification research: Canada's Verification Research Program. Ottawa, Ont: External Affairs Canada, 1988.
Den vollen Inhalt der Quelle findenUnited States. Environmental Protection Agency. Office of Research and Development., Hrsg. Environmental Technology Verification Program: Verification strategy. Washington, DC: Office of Research and Development, U.S. Environmental Protection Agency, 1997.
Den vollen Inhalt der Quelle findenC, Dudek Julianne, Tierney Thomas P und United States. National Aeronautics and Space Administration., Hrsg. Grid resolution and turbulent inflow boundary condition recommendations for NPARC calculations. [Washington, DC]: National Aeronautics and Space Administration, 1995.
Den vollen Inhalt der Quelle findenPace, Kyongsuk P. FNMOC model verification system. Monterey, Calif: Naval Postgraduate School, 1998.
Den vollen Inhalt der Quelle finden1966-, Engelhardt Kai, und Buth Karl-Heinz, Hrsg. Data refinement: Model-oriented proof methods and their comparison. Cambridge, UK: Cambridge University Press, 1998.
Den vollen Inhalt der Quelle findenBackhouse, Roland C. Program construction and verification. Englewood Cliffs, N.J: Prentice-Hall International, 1986.
Den vollen Inhalt der Quelle findenLoeckx, Jacques, und Kurt Sieber. The Foundations of Program Verification. Wiesbaden: Vieweg+Teubner Verlag, 1987. http://dx.doi.org/10.1007/978-3-322-96753-4.
Der volle Inhalt der QuelleKurt, Sieber, und Stansifer Ryan D, Hrsg. The foundations of program verification. 2. Aufl. Stuttgart: B.G. Teubner, 1987.
Den vollen Inhalt der Quelle findenLoeckx, Jacques. The foundations of program verification. 2. Aufl. Stuttgart: Teubner, 1987.
Den vollen Inhalt der Quelle findenFinkbeiner, Bernd, und Thomas Wies, Hrsg. Verification, Model Checking, and Abstract Interpretation. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-94583-1.
Der volle Inhalt der QuelleCortesi, Agostino, Hrsg. Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-47813-2.
Der volle Inhalt der QuelleEnea, Constantin, und Ruzica Piskac, Hrsg. Verification, Model Checking, and Abstract Interpretation. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-11245-5.
Der volle Inhalt der QuelleMcMillan, Kenneth L., und Xavier Rival, Hrsg. Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-642-54013-4.
Der volle Inhalt der QuelleKuncak, Viktor, und Andrey Rybalchenko, Hrsg. Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-27940-9.
Der volle Inhalt der QuelleZuck, Lenore D., Paul C. Attie, Agostino Cortesi und Supratik Mukhopadhyay, Hrsg. Verification, Model Checking, and Abstract Interpretation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36384-x.
Der volle Inhalt der QuelleBeyer, Dirk, und Damien Zufferey, Hrsg. Verification, Model Checking, and Abstract Interpretation. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-39322-9.
Der volle Inhalt der Quelle