From SOLOIST to CLTLB(D): Checking quantitative properties of service-based applications

Pas de texte intégral

Rapport de recherche externe (Rapports)

BIANCULLI, Domenico; Krstic, Srđan; Ghezzi, Carlo et al.

2013

Permalien
https://hdl.handle.net/10993/10672

Aucun document disponible.

Disciplines :

Sciences informatiques

Auteur, co-auteur :

BIANCULLI, Domenico ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Krstic, Srđan

Ghezzi, Carlo

San Pietro, Pierluigi

Langue du document :

Anglais

Titre :

From SOLOIST to CLTLB(D): Checking quantitative properties of service-based applications

Date de publication/diffusion :

2013

Maison d'édition :

Politecnico di Milano, Milano, Italie

N° de rapport :

2013.26

Nombre de pages :

Disponible sur ORBilu :

depuis le 12 novembre 2013

Nombre de vues

133 (dont 1 Unilu)

Nombre de téléchargements

0 (dont 0 Unilu)