Formal Methods for Safety and Security
Produktnummer:
188040689798ce4727a9562ee6a43af26c
| Themengebiete: | Indian Industry Safety Application Security Application quality control, reliability, safety and risk safety critical applications safety critical systems software safety |
|---|---|
| Veröffentlichungsdatum: | 04.01.2019 |
| EAN: | 9789811350542 |
| Sprache: | Englisch |
| Seitenzahl: | 132 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Jeppu, Yogananda Nanda, Manju |
| Verlag: | Springer Singapore |
| Untertitel: | Case Studies for Aerospace Applications |
Produktinformationen "Formal Methods for Safety and Security"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen