Safe and Resource-aware Verification for Programming Cyber-Physical Systems
Carlos Jorge Velez Mão de Ferro
Tipo
Doutoramento
Escola
Faculdade de Ciências
Ramo / Especialidade
- Informática