Formal Methods for Safety and Security Case Studies for Aerospace Applications

Bibliographische Detailangaben

Weitere Verfasser:	Nanda, Manju (HerausgeberIn), Jeppu, Yogananda (HerausgeberIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Puchong, Selangor D.E. Springer Singapore 2018 Springer 2018
Ausgabe:	1st edition 2018
Schlagworte:	Fehlerbaumanalyse Zuverlässigkeit Echtzeitsystem Software Engineering Formale Methode Sicherheitskritisches System Indian Industry Safety Application Security Application safety critical applications safety critical systems software safety
Online-Zugang:	Inhaltstext http://www.springer.com/
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!