Formal methods for safety and security : case studies for aerospace applications / Manju Nanda, Yogananda Jeppu, editors.
2018
QA76.9.F67 .F676 2018
Linked e-resources
Linked Resource
Online Access
Details
Title
Formal methods for safety and security : case studies for aerospace applications / Manju Nanda, Yogananda Jeppu, editors.
ISBN
9789811041204
9789811041211 (e-book)
9789811041211 (e-book)
Published
Gateway East, Singapore : Springer, 2018.
Copyright
2018
Language
English
Description
1 online resource (138 pages) : illustrations (some color), graphs.
Call Number
QA76.9.F67 .F676 2018
Dewey Decimal Classification
004.0151
Bibliography, etc. Note
Includes bibliographical references at the end of each chapters and index.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Nanda, Manju, editor.
Jeppu, Yogananda, editor.
Jeppu, Yogananda, editor.
Available in Other Form
Print version: Formal methods for safety and security : case studies for aerospace applications. Gateway East, Singapore ; Springer, c2018 9789811041204
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources