Formal methods for safety and security : : case studies for aerospace applications /

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

Saved in:
Bibliografiske detaljer
TeilnehmendeR:
Nanda, Manju,
Jeppu, Yogananda,
Place / Publishing House:Gateway East, Singapore : : Springer,, 2018.
2018
Udgivelsesår:2018
Sprog:English
Online adgang:
Fysisk beskrivelse:1 online resource (138 pages) :; illustrations (some color), graphs
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
Beskrivelse
Bibliografi:Includes bibliographical references at the end of each chapters and index.
ISBN:9789811041204
9789811041211 (ebook)
Hierarchical level:Monograph
Statement of Responsibility: Manju Nanda, Yogananda Jeppu, editors.

Lignende værker