59 resultados para Métodos formais. Desenvolvimento baseado em componentes. Concorrência. Verificação de modelos


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado em redes e serviços telemáticos

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Psicologia

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Tese de Doutoramento em Tecnologias e Sistemas de Informação

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado em Engenharia Humana

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado em Engenharia Mecânica

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado em Engenharia Eletrónica Industrial e Computadores (área de especialização em Robótica)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia Mecânica

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado em Optometria Avançada

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado em Técnicas de Caracterização e Análise Química

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e de Computadores

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia Mecânica