MODEL-BASED SOFTWARE DEVELOPMENT FOR AVIONICS - Ferreira, Miguel Bernardino (2023)
Dissertação de Mestrado em Engenharia Informática apresentada à Faculdade de Ciências e Tecnologia