Dissertação de mestrado Acesso aberto

Parallel verification of dynamic systems with rich configurations

Verificação paralela de sistemas dinâmicos com configurações ricas
Autor(es)
Orientador(es)

Ficheiros

Eduardo José Dias Pessoa.pdf (1.03 MB)

Embargo

Tipo de Documento

Dissertação de mestrado

Idioma

Coleções

BUM - Dissertações de mestrado | Master thesis
A carregar...
Ver registo completo
UM