AMAN Case Study Capítulo de livro

• https://doi.org/10.1007/978-3-031-33163-3_21
• full text

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Informação adicional documento
•  
• Ver Todos
•  

Visão geral

autores

• José Francisco Creissac Freitas de Campos
• Palanque, Philippe
• Campos, José C.

data de publicação

• 2023

publicada em

• International Journal on Software Tools for Technology Transfer  Revista

Pesquisas

palavras-chave

• AMAN
• Air Traffic Control
• Automation
• Case study
• Formal methods
• Interactive systems

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1007/978-3-031-33163-3_21

Informação adicional documento

Página Inicial

• 265

página final

• 283