Especificação e verificação formal de requisitos para sistemas de tráfego aéreo.

Aguchiku, Fábio Seiti

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2018-08-03

Acesso online. A biblioteca também possui exemplares impressos.