área de pesquisa Aprendizagem Federada Descentralizada para Detecção de Intrusão em Sistemas IoT FRANCISCO ASSIS MOREIRA DO NASCIMENTO Timing Assurance of Avionic Reconfiguration Schemes Using Formal Analysis
