"Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security	Corina S. Păsăreanu		Springer International Publishing
High Integrity Software: The SPARK Approach to Safety and Security	John Barnes	April 25, 2003	Addison Wesley
Neural-Symbolic Cognitive Reasoning	Artur S. D'Avila Garcez; Luís C. Lamb; Dov M. Gabbay	2009	Springer Berlin Heidelberg
Neural-Symbolic Cognitive Reasoning	Dr. Artur S. d’Avila Garcez, Dr. Luís C. Lamb, Prof. Dov M. Gabbay (auth.)	2009	Springer-Verlag Berlin Heidelberg
Introduction to Symbolic Logic and Its Applications	Rudolf Carnap	1958	Dover Publications, Inc.
Introduction to symbolic logic and its applications	Rudolf Carnap	1958	Dover Publications
Introduction to symbolic logic and its applications.	Rudolf Carnap	1958	Dover Publications
Quantitative reasoning: thinking in numbers /	Zaslow, Eric,		Cambridge University Press
Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference, ECSQARU' 99, London, UK, July 5-9, 1999, Proceedings	Anthony Hunter; Simon D. Parsons	1999	Springer Berlin Heidelberg
Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference, ECSQARU ' 95, Fribourg, Switzerland, July 3-5, 1995. Proceedings	Christine Froidevaux; Juerg Kohlas	1995	Springer Berlin Heidelberg
Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference ECSQARU ' 93, Granada, Spain, November 8-10, 1993. Proceedings	Michael Clarke; Rudolf Kruse; Serafin Moral	1993	Springer Berlin Heidelberg
Photonic Sensing: Principles and Applications for Safety and Security Monitoring	Gaozhi Xiao; Wojtek J. Bock	2012	John Wiley & Sons
Photonic sensing: principles and applications for safety and security monitoring	George Xiao	2012	Wiley
Software system safety	Donald M. Layton	1980	Naval Postgraduate School
Symbolic computation: applications to scientific computing	Robert Grossman	1989	Society for Industrial and Applied Mathematics
How to Break Software Security	James A. Whittaker; Herbert H. Thompson; Herbert Thompson	May 9, 2003	Addison Wesley
Symbolic logic and its applications	Hugh MacColl	1906	Longmans, Green
Symbolic logic and its applications	Hugh MacColl	1906	Longmans, Green
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings	Thomas D. Nielsen; Nevin L. Zhang	2003	Springer Berlin Heidelberg
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings	Sébastien Destercke; Thierry Denoeux	2015	Springer International Publishing
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Software Safety and Security	Louis J. Gullo	Design for Safety	Louis J. Gullo; Jack Dixon	2018	John Wiley & Sons
Quantitative reasoning. Introduction to quantitative reasoning		GRE prep plus 2019.	Kaplan Test Prep		Kaplan Publishing
Quantitative reasoning. Introduction to quantitative reasoning		New GRE, Graduate Record Examination, premiere, 2011-2012	Kaplan Publishing	2011	Kaplan Pub.
Reasoning About Safety and Security	A. Piovesan; E. Griffor	Handbook of System Safety and Security	Edward Griffor	2016	Syngress
Chapter Six - Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis	Corina S. Păsăreanu; Rody Kersten; Kasper Luckow; Quoc-Sang Phan	Advances in Computers	Atif M. Memon	2019	Elsevier
Symbolic Execution	Cristian Cadar; Koushik Sen	Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers	Shaz Qadeer; Serdar Tasiran	2013	Springer Berlin Heidelberg
symbolic execution	Martin H. Weik	Computer Science and Communications Dictionary	Martin Weik	2001	Springer US
Symbolic Execution		Ethical Hacking: A Hands-on Introduction to Breaking In	Daniel Graham	2021	No Starch Press
Symbolic Execution		Practical reverse engineering: x86, x64, ARM, Windows Kernel, reversing tools, and obfuscation	Bachaalany, Elias; Dang, Bruce; Gazet, Alexandre; Josse, Sébastien	2014	Wiley
Symbolic Execution		Ethical Hacking: A Hands-on Introduction to Breaking In	Daniel G. Graham	2021	No Starch Press
Symbolic Execution		Practical reverse engineering: x86, x64, ARM, Windows Kernel, reversing tools, and obfuscation	Bruce Dang	2014	John Wiley & Sons, Inc.
Symbolic Execution		Design and Analysis of Algorithms	Parag Himanshu Dave, Himanshu Bhalchandra Dave	2007	Pearson Education
Symbolic Reasoning		Designing and Building Enterprise Knowledge Graphs	Juan Sequeda, Ora Lassila	2021	Morgan & Claypool
Symbolic Reasoning		Hacking A. I: big and complete guide to hacking, security, AI and big data	Hans Weber
88 Safety and security applications		Radio Wave Propagation in Vehicular Environments	Leyre Azpilicueta, Cesar Vargas-Rosales, Francisco Falcone, Ana Alejos	2021	SciTech Publishing
Part I Quantitative reasoning: Introduction to quantitative reasoning		CliffsNotes GRE Math Review	Bobrow Test Preparation Services; Zandy, Bernard V	2013	Houghton Mifflin Harcourt
Symbolic execution and software testing Corina S. Păsăreanu		Engineering dependable software systems	Germany) NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 Marktoberdorf	2013	IOS Press;published in cooperation with NATO Emerging Security Challenges Division
Introduction to quantitative reasoning		GRE Prep 2018	Kaplan Publishing	2017	Kaplan Publishing
Introduction to Quantitative Reasoning		Cliffs Notes - CliffsNotes GRE General Test with CD-ROM	BTFS Testing	2011	Cliffs Notes
Introduction to quantitative reasoning		GRE Graduate Record Examination 2014: strategies, practice, and review	Inc Kaplan	2013	Kaplan Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security" - similar Books and Chapters