Tallenna
Formal Methods for Safety and Security
sidottu, 2017
englanti
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.
- Alaotsikko
- Case Studies for Aerospace Applications
- Toimittaja
- Manju Nanda, Yogananda Jeppu
- Painos
- 1st ed. 2018
- ISBN
- 9789811041204
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 22.11.2017
- Kustantaja
- Springer Verlag, Singapore
- Sivumäärä
- 132
