Perfis Chagas
Spec#
Arquitectura de Computadores 2 (EFA, 9º ano)
Car Free Apresentacao
IntroProg_Cap3
Traitement de textes WinWord 3 e année Sciences Commerciales NEHAR Attia.
Apresentação Dissertação Mestrado
Relatório de Projecto de Licenciatura
Minimização Autômatos
Arquitectura de Computadores 1 (EFA, 9º ano)
Tutorial de Uppaal
Sensor Networks
Arquitectura de Computadores 4 (EFA, 9º ano)
Apoio ao Projecto DSAS (CET, 12º)
Dissertação Mestrado
Arquitectura de Computadores 3 (EFA, 9º ano)
Verificação Automatizada de STR com UPPAAL