Formal Methods for Safety and Security (PDF)
45 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as aerospace. 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.
Dr. Yogananda Jeppu holds a BE in Electronics and Communication, from Mangalore University, a postgraduate degree in missile guidance and controls from Pune University. He has a PhD in certification of safety critical control systems using model-based techniques. He has been working in the field of control system design and implementation, simulation of aerospace systems, verification and validation for aircrafts and missiles for the past 28 years. He has several publications on formal methods, randomized testing, orthogonal array testing and missile guidance and control. He is a recipient of many awards, most notable of which are the Commendation Certificate for "Significant Contributions made to the Integrated Guided Missiles Programme", and the"National
- 2017, 1st ed. 2018, 132 Seiten, Englisch
- Herausgegeben: Manju Nanda, Yogananda Jeppu
- Verlag: Springer-Verlag GmbH
- ISBN-10: 9811041210
- ISBN-13: 9789811041211
- Erscheinungsdatum: 09.11.2017
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 4.57 MB
- Ohne Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Methods for Safety and Security".
Kommentar verfassen