Communication publiée dans un ouvrage (Colloques, congrès, conférences scientifiques et actes)
Towards the formalization of properties of cloud-based elastic systems
Bersani, Marcello Maria; BIANCULLI, Domenico; Dustdar, Schahram et al.
2014In Proceedings of the 6th International Workshop on Principles of Engineering Service-oriented Systems (PESOS 2014)
Peer reviewed
 

Documents


Texte intégral
pesos2014.pdf
Preprint Auteur (460.84 kB)
Demander un accès

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers



Détails



Centre de recherche :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Sciences informatiques
Auteur, co-auteur :
Bersani, Marcello Maria
BIANCULLI, Domenico  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Dustdar, Schahram
Gambi, Alessio
Ghezzi, Carlo
Krstić, Srđan
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Towards the formalization of properties of cloud-based elastic systems
Date de publication/diffusion :
2014
Nom de la manifestation :
6th International Workshop on Principles of Engineering Service-oriented Systems (PESOS 2014), co-located with ICSE 2014
Lieu de la manifestation :
Hyderabad, Inde
Date de la manifestation :
31-05-2014
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proceedings of the 6th International Workshop on Principles of Engineering Service-oriented Systems (PESOS 2014)
Maison d'édition :
ACM
Peer reviewed :
Peer reviewed
Disponible sur ORBilu :
depuis le 05 mars 2014

Statistiques


Nombre de vues
201 (dont 3 Unilu)
Nombre de téléchargements
0 (dont 0 Unilu)

citations Scopus®
 
35
citations Scopus®
sans auto-citations
30
OpenCitations
 
24
citations OpenAlex
 
35

Bibliographie


Publications similaires



Contacter ORBilu