Voltar aos Detalhes do Artigo Verificação formal de protocolos TDMA quanto a características de tempo real e tolerância a falhas Baixar ##common.downloadPdf##