Verificação de Sistemas de Tempo Real

Hace 14 años 484 Visualizaciones

Verificação Automatizada de STR com UPPAAL

Hace 14 años 317 Visualizaciones

Apoio ao Projecto DSAS (CET, 12º)

Hace 14 años 266 Visualizaciones

Apresentação Dissertação Mestrado

Hace 14 años 513 Visualizaciones

Arquitectura de Computadores 4 (EFA, 9º ano)

Hace 14 años 308 Visualizaciones

Arquitectura de Computadores 3 (EFA, 9º ano)

Hace 14 años 385 Visualizaciones

Arquitectura de Computadores 2 (EFA, 9º ano)

Hace 14 años 357 Visualizaciones

Arquitectura de Computadores 1 (EFA, 9º ano)

Hace 14 años 446 Visualizaciones

Minimização Autômatos

Hace 15 años 1011 Visualizaciones

carFree2

Hace 15 años 285 Visualizaciones

Car Free Apresentacao

Hace 15 años 249 Visualizaciones

Sensor Networks

Hace 15 años 622 Visualizaciones

Prog Din08

Hace 15 años 451 Visualizaciones

Spec#

Hace 15 años 297 Visualizaciones