fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Jeppu / Nanda

Formal Methods for Safety and Security

Case Studies for Aerospace Applications

Medium: Buch
ISBN: 978-981-13-5054-2
Verlag: Springer Nature Singapore
Erscheinungstermin: 04.01.2019
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken

Leseprobe

Kundenservice

Telefon: +49 69 943 329 50
E-Mail: webshop@sack.de

» Kontaktformular

Bücher

Unsere Bücher sind versandkostenfrei erhältlich

Rücksendung

kostenlose Rücksendungen für Bücher

Noch Fragen?

Unser Kundenservice hilft gerne weiter
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.

Produkteigenschaften

  • Artikelnummer: 9789811350542
  • Medium: Buch
  • ISBN: 978-981-13-5054-2
  • Verlag: Springer Nature Singapore
  • Erscheinungstermin: 04.01.2019
  • Sprache(n): Englisch
  • Auflage: Softcover Nachdruck of the original 1. Auflage 2018
  • Produktform: Kartoniert, Paperback
  • Gewicht: 261 g
  • Seiten: 132
  • Format (B x H x T): 155 x 235 x 8 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Herausgeber

Jeppu, Yogananda

Nanda, Manju

Formal Methods – A Need for Practical Applications.- Formal Methods & Tools for Safety of Critical Systems.- Taming the Enemy: Framework for Comparative Analysis of Safe String Libraries.- Dynamic Constrained Objects for Vehicular Network Modeling.- Adoption of Formal Methods in Software Safety Analysis.- Model-Based Safety Validation for Embedded Real-Time Systems.- Arguing formally about Flight Controls using SLDV and NuSMV.- Formal Methods: Techniques, Applications, Thrust Areas and Future Prospects.- Design Fault Identification in Model-Based Design (MBD) for Safety Critical Systems.- Formal Methods Workflow for Model Based Development.- Race that never ends!.