Projeto
Quantitative methods for cyber-physical programming: reasoning precisely about imprecisions in cyber-physical behaviour [PTDC/CCI-COM/4280/2021]
| Referência: | PTDC/CCI-COM/4280/2021 |
|---|---|
| Programa de financiamento: | Concurso de Projetos IC&DT em Todos os Domínios Científicos |
| Instituições associadas: | Universidade do Minho |
| Descrição não disponível. |
Publicações relacionadas
Carregando publicações...