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