Formal Methods for Safety and Security Case Studies for Aerospace Applications / edited by Manju Nanda, Yogananda Jeppu.
Contributor(s): Nanda, Manju, editor literario | Jeppu, Yogananda, editor literario
Material type:
E-bookSeries: (Engineering (Springer-11647)).Publisher: Singapore : Springer International Publishing, 2018Description: 1 recurso en línea (XII, 132 páginas 42 ilustraciones, 24 ilustraciones a color).ISBN: 9789811041211.Subject: Optimización matemática
| Sistemas de seguridadOnline resources: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)
Abstract: 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. .
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
LIBRO-E NO PRÉSTAMO
|
Madrid Digital Acceso Electrónico (UEM) | Ciencias e Ingeniería | QA76.9.F67 F676 2018 EB (Browse shelf(Opens below)) | Acceso electrónico | eBook.15112880 |
Total holds: 0
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. .
There are no comments on this title.
Log in to your account to post a comment.