Improving reliability in management of cloud computing infrastructure by formal methods.

Shinji Kikuchi, Kunihiko Hiraishi

Browse the full NOMS paper archive.