Formal methods for safety and security case studies for aerospace applications

Detalhes bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Outros Autores:	Nanda, Manju (Editor), Jeppu, Yogananda (Editor)
Formato:	Electronic Resource
Idioma:	English
Publicado em:	Singapore Springer Nature Singapore [2018]
Assuntos:	Formal methods (Computer science) Electronic books.
Acesso em linha:	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