Extra Functional Properties Evaluation of Self-managed Software Systems with Formal Methods

Aquesta tesi apareix a les col·leccions següents