Verificação distribuída de modelos: investigando o uso de grades computacionais.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-29T18:03:18Z No. of bitstreams: 1 PAULO EDUARDO E SILVA BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf: 549401 bytes, checksum: ffeac306fd7624758ab88a5062b5a5ae (MD5)

Detalhes bibliográficos
Autor principal: BARBOSA, Paulo Eduardo e Silva. (author)
Formato: masterThesis
Idioma:por
Publicado em: 2007
Assuntos:
Ciência da Computação.
Grades computacionais
Violação das especificações
Requisitos de projeto
Engenharia de software
Verificação de modelos - computação
Model-checking
Explosão de espaço de estados
Aplicações bag-of-tasks
Checking models - computing
Texto completo:http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1589
País:Brasil
Oai:oai:localhost:riufcg/1589

Texto Completo

http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1589

Registros relacionados