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

Pérez Palacín, Diego Carmelo
Merseguer Hernáiz, José Javier (dir.)

Universidad de Zaragoza, 2013

Pal. clave: software ; lenguajes formales ; informática

Knowledge area: Lenguajes y sistemas informáticos

Department: Informática e Ingeniería de Sistemas

Nota: Presentado: 22 02 2013
Nota: Tesis-Univ. Zaragoza, Informática e Ingeniería de Sistemas, 2013


-



Creative Commons License



Visitas y descargas



 Notice créée le 2014-11-20, modifiée le 2019-02-19


Fichiers:
Télécharger le document
PDF

Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)