1
Assuntos:
“...Concurrent systems...”
Um método para verificação formal e dinâmica de sistemas de software concorrentes
Dissertação
2
Assuntos:
“...[en] CONCURRENT SYSTEMS...”
[pt] ANÁLISE FORMAL DE MODELOS DE SOFTWARE ORIENTADA POR ABSTRAÇÕES ARQUITETURAIS
Tese
3
Assuntos:
“...Concurrent Systems...”
Compressão de Sequências Individuais e Fontes Parcialmente Ordenadas.
Dissertação