Método para la verificación de sistemas hibrídos basado en la propagación de etiquetas

Tesis doctoral de Jaime Ramírez Rodríguez Esta tesis supone un paso hacia delante en el área de la verificación de […]

, , , , ,