Formal Methods for Safety and Security: Case Studies for Aerospace Applications - - Books - Springer Verlag, Singapore - 9789811041204 - November 22, 2017
In case cover and title do not match, the title is correct

Formal Methods for Safety and Security: Case Studies for Aerospace Applications 1st ed. 2018 edition

Price
DKK 877.80

Ordered from remote warehouse

Expected delivery May 28 - Jun 5

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Formal Methods for Safety and Security: Case Studies for Aerospace Applications 1st ed. 2018 edition

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.

112 pages, 18 black & white illustrations, 24 colour illustrations, 24 colour tables, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released November 22, 2017
ISBN13 9789811041204
Publishers Springer Verlag, Singapore
Pages 132
Dimensions 162 × 244 × 13 mm   ·   374 g
Editor Jeppu, Yogananda
Editor Nanda, Manju