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

Formal methods for safety and security case studies for aerospace applications

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: Application of Formal Methods for Safety and Security Critical Systems (VerfasserIn)
Weitere Verfasser: Nanda, Manju (HerausgeberIn), Jeppu, Yogananda (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Singapore Springer 2018
Schlagworte:
Konferenzschrift > Software Engineering > Sicherheitskritisches System > Echtzeitsystem > Formale Methode > Fehlerbaumanalyse > Zuverlässigkeit
Online Zugang:Full Text
Inhaltsverzeichnis
Full Text
Cover
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:xii, 132 Seiten
18 schwarz-weiße und 24 farbige Abbildungen, Bibliographie
cm
ISBN:9811041202
981-10-4120-2
9789811041204
978-981-10-4120-4