Tese de doutoramento Acesso aberto

Dynamic contracts for verification and enforcement of real-time systems properties

Autor(es)
Orientador(es)

Ficheiros

Andre de Matos Pedro.pdf (3.55 MB)

Embargo

Tipo de Documento

Tese de doutoramento

Idioma

Coleções

BUM - Teses de doutoramento | Doctoral thesis
A carregar...
Ver registo completo
UM