Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales
Research areas: |
|
Year: | 2000 | ||||
---|---|---|---|---|---|---|---|
Type of Publication: | Phd Thesis | ||||||
Authors: | Gil Solla, Alberto | ||||||
University: | Universidad de Vigo | ||||||
BibTex: |
|||||||
Comments: | PhD Advisor:
José J. Pazos Arias |
||||||