Verifying cloud services: present and future

No full text

Article (Scientific journals)

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

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

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

No document available.

Disciplines :

Computer science

Author, co-author :

Bouchenak, Sara

Chockler, Gregory

Chockler, Hana

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

Santos, Nuno

Shraer, Alexander

Language :

English

Title :

Verifying cloud services: present and future

Publication date :

2013

Journal title :

ACM SIGOPS: Operating Systems Review

Volume :

Pages :

6-19

Available on ORBilu :

since 11 November 2013

Number of views

88 (10 by Unilu)

Number of downloads

0 (0 by Unilu)