Towards formal modeling and verification of cloud architectures: A case study on hadoop

Author(s)

Reddy, GS

Feng, Y

Liu, Y

Dong, JS

Jun, S

Kanagasabai, R

Griffith University Author(s)

Year published

2013

Metadata

Show full item record

Conference Title

Proceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013

DOI

https://doi.org/10.1109/SERVICES.2013.47

Subject

Information Systems not elsewhere classified

Publication URI

http://hdl.handle.net/10072/184959

Collection

Conference outputs