ESTUDO E APLICAÇÃO DE VERIFICAÇÃO DE MODELOS EM SISTEMAS EMBARCADOS DESENVOLVIDOS NO IFMG - CAMPUS FORMIGA.pdf — 368 KB