LAURA
PANIZO JAIME
PROFESOR/A TITULAR DE UNIVERSIDAD
Thesis
-
Hybrid system analysis with finite-state model checkers 2013
Universidad de Málaga
Supervised Theses (1)
-
Distributed Services Orchestration for 5G and Beyond 5G Networks 2025
Universidad de Málaga
Valera Muros, Bárbara
Theses Committees (3)
-
Committee Member
Decentralized and Distributed Stream Runtime Verification 2024Universidad Politécnica de Madrid
Danielsson Villegas, Luis Miguel
-
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