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