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 Learning and Teaching with Technology in the Knowledge Society by
Cover of the book Proceedings of SAE-China Congress 2015: Selected Papers by
Cover of the book Pathology of Opportunistic Infections by
Cover of the book Integration of Vocational Education and Training Experiences by
Cover of the book Gentrification and Displacement: The Forced Relocation of Public Housing Tenants in Inner-Sydney by
Cover of the book Multiscale Transforms with Application to Image Processing by
Cover of the book Textiles and Clothing Sustainability by
Cover of the book Advanced Informatics for Computing Research by
Cover of the book The Zinc/Bromine Flow Battery by
Cover of the book GI Surgery Annual by
Cover of the book Frontier Computing by
Cover of the book Environmental Biotechnology: For Sustainable Future by
Cover of the book Computational Reality by
Cover of the book Social Support, Well-being, and Teacher Development by
Cover of the book Searchable Storage in Cloud Computing 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