Banca de QUALIFICAÇÃO: Gabriel Frutuoso Pereira Araujo

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE : Gabriel Frutuoso Pereira Araujo
DATA : 22/11/2024
HORA: 14:30
LOCAL: https://tinyurl.com/MosesQuali
TÍTULO:

Trace-Diagnostic for Signal Temporal Properties: An Evolutionary

PALAVRAS-CHAVES:

Diagnóstico, Verificação de rastro, Verificação em tempo-real, Propriedades temporais, Sistemas Ciber-físicos, Sinais

PÁGINAS: 57
RESUMO:

.

MEMBROS DA BANCA:
Presidente - 1720223 - GENAINA NUNES RODRIGUES
Interno - 1613634 - MARCELO ANTONIO MAROTTA
Interno - 1848788 - RODRIGO BONIFACIO DE ALMEIDA