Project
Quantitative methods for cyber-physical programming: reasoning precisely about imprecisions in cyber-physical behaviour [PTDC/CCI-COM/4280/2021]
| Reference: | PTDC/CCI-COM/4280/2021 |
|---|---|
| Financing program: | Concurso de Projetos IC&DT em Todos os Domínios Científicos |
| Associated institutions: | Universidade do Minho |
| Description not available. |
Related publications
Loading publications...