Formal methods for safety and security case studies for aerospace applications

Manylion Llyfryddiaeth
Awdur Corfforaethol:	SpringerLink (Online service)
Awduron Eraill:	Nanda, Manju (Golygydd), Jeppu, Yogananda (Golygydd)
Fformat:	Electronic Resource
Iaith:	English
Cyhoeddwyd:	Singapore Springer Nature Singapore [2018]
Pynciau:	Formal methods (Computer science) Electronic books.
Mynediad Ar-lein:	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