×


 x 

Shopping cart
. Ed(S): Nanda, Manju; Jeppu, Yogananda - Formal Methods for Safety and Security: Case Studies for Aerospace Applications - 9789811041204 - V9789811041204
Stock image for illustration purposes only - book cover, edition or condition may vary.

Formal Methods for Safety and Security: Case Studies for Aerospace Applications

€ 133.56
FREE Delivery in Ireland
Description for Formal Methods for Safety and Security: Case Studies for Aerospace Applications hardcover. Editor(s): Nanda, Manju; Jeppu, Yogananda. Num Pages: 112 pages, 18 black & white illustrations, 24 colour illustrations, 24 colour tables, biography. BIC Classification: PBKQ; TGPR; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
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. 

Product Details

Format
Hardback
Publication date
2017
Publisher
Springer Singapore
Number of pages
112
Condition
New
Number of Pages
132
Place of Publication
Singapore, Singapore
ISBN
9789811041204
SKU
V9789811041204
Shipping Time
Usually ships in 4 to 8 working days
Ref
99-1

About . Ed(S): Nanda, Manju; Jeppu, Yogananda
Dr. Manju Nanda has over 20 years of experience in design, development and qualification of safety critical embedded systems. Her core competencies lie in the field of safety critical software engineering and embedded systems for safety critical applications. She is involved in the design and development of safety critical embedded systems in various domains such as: medical, automotive, and aerospace. In ... Read more

Reviews for Formal Methods for Safety and Security: Case Studies for Aerospace Applications

Goodreads reviews for Formal Methods for Safety and Security: Case Studies for Aerospace Applications


Subscribe to our newsletter

News on special offers, signed editions & more!