Formal methods for safety and security case studies for aerospace applications

Bibliographische Detailangaben
Körperschaft:	SpringerLink (Online service)
Weitere Verfasser:	Nanda, Manju (HerausgeberIn), Jeppu, Yogananda (HerausgeberIn)
Format:	Electronic Resource
Sprache:	English
Veröffentlicht:	Singapore Springer Nature Singapore [2018]
Schlagworte:	Formal methods (Computer science) Electronic books.
Online Zugang:	Available for University of the Philippines System via SpringerLink. Click here to access Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy