Ferramental Integrado para Modelagem e Verificação de Sistemas Embarcados Autores Hudson Silva Ferreira IFF Rogerio Atem de Carvalho IFF Palavras-chave: Sistemas Embarcados. Alta Confiabilidade. Testes Automatizados. Resumo . Downloads PDF Edição 2015: VII CONFICT - Congresso Fluminense de Iniciação Científica e Tecnológica Seção Resumos IFF - Ciências Exatas e da Terra