Formal Methods for Safety and Security

Case Studies for Aerospace Applications

Nonfiction, Science & Nature, Mathematics, Calculus, Technology, Aeronautics & Astronautics
Cover of the book Formal Methods for Safety and Security by , Springer Singapore
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9789811041211
Publisher: Springer Singapore Publication: November 9, 2017
Imprint: Springer Language: English
Author:
ISBN: 9789811041211
Publisher: Springer Singapore
Publication: November 9, 2017
Imprint: Springer
Language: English

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike. 

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike. 

More books from Springer Singapore

Cover of the book The State, Schooling and Identity by
Cover of the book The Idea and Practice of Reading by
Cover of the book Environmental Resources Use and Challenges in Contemporary Southeast Asia by
Cover of the book Mathematical Modelling in Solid Mechanics by
Cover of the book Measuring Quality of Undergraduate Education in Japan by
Cover of the book Economic Diversification in the Gulf Region, Volume I by
Cover of the book Computer Supported Cooperative Work and Social Computing by
Cover of the book Urbanization and Its Impact in Contemporary China by
Cover of the book Teacher Education In and For Uncertain Times by
Cover of the book Best Practice Protocols for Physique Assessment in Sport by
Cover of the book Innovations in Electronics and Communication Engineering by
Cover of the book Control of Series-Parallel Conversion Systems by
Cover of the book Genetic and Evolutionary Computing by
Cover of the book Green Fashion Retail by
Cover of the book The Reconstruction of Modality in Chinese-English Government Press Conference Interpreting by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy