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 integrado em Engenharia Mecânica

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 Mecânica

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Tese de Doutoramento em Ciências da Educação (Especialidade em Tecnologia Educativa)

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:

Tese de Doutoramento em Ciências (Especialidade de Geologia)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Tese de Doutoramento em Ciências da Educação (área de especilização em Desenvolvimento Curricular).

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Tese de Doutoramento em Biologia de Plantas

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The MAP-i Doctoral Programme in Informatics, of the Universities of Minho, Aveiro and Porto

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado Internacional em Ambiente Construído Sustentável

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado Internacional em Sustentabilidade do Ambiente Construído

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Tese de Doutoramento em Biologia Molecular e Ambiental (área de especialização em Biologia Celular e Saúde).

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia Civil

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dissertação de mestrado integrado em Engenharia Civil