Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Descrição

Modelação coalgébrica e análise para biologia sintética computacional

Modelação coalgébrica e análise para biologia sintética computacionalFicha Projeto

Detalhes

Mais Informação

  • Acrónimo

    KLEE
  • Início

    01 junho 2018
  • Orçamento global

    238.171,80 €
  • Estado

    Completo
  • Data de encerramento

    30 novembro 2021
  • Fim

    30 novembro 2021
  • Responsável

    Luís Soares Barbosa
  • Financiamento

    179.532,73 €
  • Financiado por

Equipa
001

Centros Associados

HASLab

Centro

Laboratório de Software Confiável