publicações selecionadas Uma Metodologia para Projeto de Software Embarcado Baseada em Múltiplos Modelos Computacionais Um estudo sobre a utilização de modelos computacionais para a representação de sistemas digitais
