Formal methods for safety and security : case studies for aerospace applications (English)
- New search for: Application of Formal Methods for Safety and Security Critical Systems, Veranstaltung
- Further information on Application of Formal Methods for Safety and Security Critical Systems, Veranstaltung:
- http://d-nb.info/gnd/1151448095
- New search for: Nanda, Manju
- New search for: Jeppu, Yogananda
- New search for: Application of Formal Methods for Safety and Security Critical Systems, Veranstaltung
- Further information on Application of Formal Methods for Safety and Security Critical Systems, Veranstaltung:
- http://d-nb.info/gnd/1151448095
2018
-
ISBN:
- Conference Proceedings / Print
-
Title:Formal methods for safety and security : case studies for aerospace applications
-
Contributors:Nanda, Manju ( editor ) / Jeppu, Yogananda ( editor ) / Application of Formal Methods for Safety and Security Critical Systems, Veranstaltung ( author )
-
Conference:Workshop on Application of Formal Methods for Safety and Security ; 1 ; 2016 ; Bangalore
-
Publisher:
- New search for: Springer
-
Place of publication:Singapore
-
Publication date:2018
-
Size:xii, 132 Seiten
-
Remarks:cm
18 schwarz-weiße und 24 farbige Abbildungen, Bibliographie -
ISBN:
-
Type of media:Conference Proceedings
-
Type of material:Print
-
Language:English
- New search for: 54.52 / 55.50 / 55.60
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source: