Formal methods for safety and security case studies for aerospace applications

Xehetasun bibliografikoak
Erakunde egilea:	SpringerLink (Online service)
Beste egile batzuk:	Nanda, Manju (Argitaratzailea), Jeppu, Yogananda (Argitaratzailea)
Formatua:	Electronic Resource
Hizkuntza:	English
Argitaratua:	Singapore Springer Nature Singapore [2018]
Gaiak:	Formal methods (Computer science) Electronic books.
Sarrera elektronikoa:	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