Verificação de Sistemas de Tempo Real

Há 14 anos 484 Visualizações

Verificação Automatizada de STR com UPPAAL

Há 14 anos 317 Visualizações

Apoio ao Projecto DSAS (CET, 12º)

Há 14 anos 266 Visualizações

Apresentação Dissertação Mestrado

Há 14 anos 513 Visualizações

Arquitectura de Computadores 4 (EFA, 9º ano)

Há 14 anos 308 Visualizações

Arquitectura de Computadores 3 (EFA, 9º ano)

Há 14 anos 385 Visualizações

Arquitectura de Computadores 2 (EFA, 9º ano)

Há 14 anos 357 Visualizações

Arquitectura de Computadores 1 (EFA, 9º ano)

Há 14 anos 446 Visualizações

Minimização Autômatos

Há 15 anos 1011 Visualizações

carFree2

Há 15 anos 285 Visualizações

Car Free Apresentacao

Há 15 anos 249 Visualizações

Sensor Networks

Há 15 anos 622 Visualizações

Prog Din08

Há 15 anos 451 Visualizações

Spec#

Há 15 anos 297 Visualizações