Verifying cloud services: present and future

Pas de texte intégral

Article (Périodiques scientifiques)

Bouchenak, Sara; Chockler, Gregory; Chockler, Hana et al.

2013 • In ACM SIGOPS: Operating Systems Review, 47, p. 6-19

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

Aucun document disponible.

Disciplines :

Sciences informatiques

Auteur, co-auteur :

Bouchenak, Sara

Chockler, Gregory

Chockler, Hana

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

Santos, Nuno

Shraer, Alexander

Langue du document :

Anglais

Titre :

Verifying cloud services: present and future

Date de publication/diffusion :

2013

Titre du périodique :

ACM SIGOPS: Operating Systems Review

Volume/Tome :

Pagination :

6-19

Disponible sur ORBilu :

depuis le 11 novembre 2013

Nombre de vues

163 (dont 10 Unilu)

Nombre de téléchargements

0 (dont 0 Unilu)