Formal methods for safety and security :: case studies for aerospace applications /: Manju Nanda, Yogananda Jeppu, editors.

Nanda, Manju,; Jeppu, Yogananda,

doi:10.1007/978-981-10-4121-1

Formal methods for safety and security : case studies for aerospace applications / Manju Nanda, Yogananda Jeppu, editors.

Nanda, Manju, editor.; Jeppu, Yogananda, editor.

2018

QA76.9.F67

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Formal methods for safety and security : case studies for aerospace applications / Manju Nanda, Yogananda Jeppu, editors.

ISBN

9789811041211 (electronic book)
9811041210 (electronic book)
9789811041204
9811041202

DOI

https://doi.org/10.1007/978-981-10-4121-1

Published

Singapore : Springer, 2018.

Language

English

Description

1 online resource (xii, 132 pages) : illustrations

Item Number

10.1007/978-981-10-4121-1 doi

Call Number

QA76.9.F67

Dewey Decimal Classification

004.01/51

Summary

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. .

Note

Includes index.

Access Note

Access limited to authorized users.

Digital File Characteristics

text file PDF

Source of Description

Online resource; title from PDF title page (SpringerLink, viewed November 17, 2017).

Added Author

Nanda, Manju, editor.
Jeppu, Yogananda, editor.

Available in Other Form

Print version: 9789811041204