Parceria:
Claiton M. Correa, Eli Maruani, Lucas G. Oleksinski, Fernando L. Dotti, Paulo Fernandes, Afonso 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
Processando consulta.