Online Verification through Model Checking of Medical Critical Intelligent Systems
Divulgació de les activitats científiques, tecnològiques i artístiques ocorregudes en els tres campus de la UPV
6:59 · 2015
4:05 · 2015
![[CÁMARA CENITAL] Enlace metálico: estructuras cúbica centrada en caras (CCC) y hexagonal compacta (HC)](https://media.upv.es/resources/imported/polimedia/9ce1c357-156b-f74d-950a-99c33395429a/slides/thumb.28.jpg "[CÁMARA CENITAL] Enlace metálico: estructuras cúbica centrada en caras (CCC) y hexagonal compacta (HC)")
10:10 · 2012
