| | |
Summary: Universidad Polit´ecnica de Valencia
Departamento de Sistemas Inform´aticos y Computaci´on
Doctorado en Inform´atica
Ph.D. Thesis
Rule-based Methodologies for the
Specification and Analysis
of Complex Computing Systems
Candidate:
Michele Baggi
Supervisors:
Mar´ia Alpuente
Moreno Falaschi
Author's e-mail: mbaggi@dsic.upv.es
Author's address:
Departamento de Sistemas Inform´aticos y Computaci´on
Universidad Polit´ecnica de Valencia
Camino de Vera, s/n
46022 Valencia
Espa~na
Here the dedication
|