Estudios
I+D+I
Institución
Internacional
Vida Universitaria
Universidad de Zaragoza Repository
Search
Submit
Personalize
Your alerts
Your baskets
Your searches
Help
EN
/
ES
Home
>
Theses
>
Extra Functional Properties Evaluation of Self-managed Software Systems with Formal Methods
> Usage statistics
Information
Usage statistics
Files
Extra Functional Properties Evaluation of Self-managed Software Systems with Formal Methods
-
Pérez Palacín, Diego Carmelo
et al
- TESIS-2013-046