LAURA
PANIZO JAIME
PROFESOR/A AYUDANTE DOCTOR/A
Thesis
-
Hybrid system analysis with finite-state model checkers 2013
Universidad de Málaga
Theses Committees (2)
-
Committee Member
Verificación y validación de composiciones de servicios web en ws-bpel con prueba metamórfica 2024Universidad de Cádiz
DE CASTRO CABRERA, MARÍA DEL CARMEN
-
Secretary of the Committee
The Multi-connection Tactile Internet Protocol 2023Universidad de Málaga
Rico Marchena, Delia