Tallenna
Formal Methods for Safety and Security
nidottu, 2019
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
- Softcover reprint of the original 1st ed. 2018
- ISBN
- 9789811350542
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 4.1.2019
- Kustantaja
- Springer Verlag, Singapore
- Sivumäärä
- 132
