Mostrando 1 - 2 resultados de 2 para a busca 'parallel computation safety program~', tempo de busca: 0,78s

2

... s dependence, generating unease about the safety of such systems. In the last years several techniques have...

Abordagens paralelas para Model Checking de redes de autômatos estocásticos

Publicado em 2013
Dissertação