Coordinación de servicios web: de las aplicaciones a los modelos formales

Tesis doctoral de Eloy Javier Mata Sotés El objetivo de la tesis ha sido la aplicación de métodos formales en […]

, , , , ,