BDBComp
Parceria:
SBC
Um verificador de modelos descritos em Redes de Autômatos Estocásticos

Claiton M. CorreaEli MaruaniLucas G. OleksinskiFernando L. DottiPaulo FernandesAfonso Sales

O objetivo desse trabalho é o desenvolvimento de um verificador de modelos para aferirpossíveis falhas de um sistema em tempo de modelagem.

http://www.lbd.dcc.ufmg.br/colecoes/erad-rs/2012/0026.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