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 Five Basic Institution Structures and Institutional Economics by
Cover of the book Fundamentals of Electrical Circuit Analysis by
Cover of the book Vibration Analysis of Functionally Graded Piezoelectric Actuators by
Cover of the book Authentic Learning Through Advances in Technologies by
Cover of the book Isotropic and Anisotropic Seismic Tomography Using Active Source and Earthquake Records by
Cover of the book The Geographies of Digital Sexuality by
Cover of the book Current Trends in the Representation of Physical Processes in Weather and Climate Models by
Cover of the book Introduction to Dynamics by
Cover of the book Culture and Communication in Thailand by
Cover of the book Quandles and Topological Pairs by
Cover of the book Changing Trends in Japan's Employment and Leisure Activities by
Cover of the book Internet Video Data Streaming by
Cover of the book Sustainable Fashion: Consumer Awareness and Education by
Cover of the book The Investigation of Plastic Behavior by Discrete Dislocation Dynamics for Single Crystal Pillar at Submicron Scale by
Cover of the book Microfluidics for Single-Cell Analysis 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