Ferramental Integrado para Modelagem e Verificação de Sistemas Embarcados Authors Hudson Silva Ferreira IFF Rogerio Atem de Carvalho IFF Keywords: Sistemas Embarcados. Alta Confiabilidade. Testes Automatizados. Abstract . Downloads PDF (Portuguese) Issue 2015: VII CONFICT - Congresso Fluminense de Iniciação Científica e Tecnológica Section Resumos IFF - Ciências Exatas e da Terra