Voltar
Artigo
BIBTEX RIS

Método de Modelagem e Verificação Formal aplicado a Sistemas de Controle de Tráfego Aéreo

2018; Linguagem: Português

10.20906/cps/cba2018-0307

ISSN

2525-8311

Autores

Rafael Leme Costa, Fabio Seiti Aguchiku, Dayanna de Paula Mariani dos Santos Santana, Newton Maruyama,

Tópico(s)

Air Traffic Management and Optimization

Referência(s)