BDBComp
Parceria:
SBC
Proposta de um Método de Verificação de Software Embarcado de Tempo Real Usando Análise de Tempo Global

Leticia Mara PeresPaulo Cezar StadziszLuis Allan Künzle

http://www.lbd.dcc.ufmg.br/colecoes/wtr/2009/015.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD