Formal methods for safety and security case studies for aerospace applications

Bibliografiska uppgifter
Institutionell upphovsman:	SpringerLink (Online service)
Övriga upphovsmän:	Nanda, Manju (Utgivare, redaktör, sammanställare), Jeppu, Yogananda (Utgivare, redaktör, sammanställare)
Materialtyp:	Electronic Resource
Språk:	English
Publicerad:	Singapore Springer Nature Singapore [2018]
Ämnen:	Formal methods (Computer science) Electronic books.
Länkar:	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