Formal Methods for Safety and Security [electronic resource] : Case Studies for Aerospace Applications /

Contributor(s):

Language: ENG Publisher: Singapore : Springer Singapore : Imprint: Springer, 2018Edition: 1st ed. 2018Description: XII, 132 p. 42 illus., 24 illus. in color. | Binding - Card Paper |Content type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9789811041211

Subject(s):

Additional physical formats: Printed edition:: No title; Printed edition:: No title; Printed edition:: No titleDDC classification:

629.1 23

Online resources:

Click here to access eBook in Springer Nature platform. (Within Campus only.)

In: Springer Nature eBookSummary: 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. .

List(s) this item appears in: Springer Nature eBooks

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

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.

to post a comment.