Inferring models from cloud APIs and reasoning over them : a tooled and formal approach
Avec l’avènement de l’informatique en nuage, différents fournisseurs offrant des services en nuage et des interfaces de programmation d’applications (APIs) hétérogènes sont apparus. Cette hétérogénéité complique la mise en œuvre d’un système de multi-nuages interopérable. Parmi les solutions pour l’...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2018
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2018LIL1I069/document |