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

Author

Reddy, G. Satya

Kanagasabai, Rajaraman

Year published

2013

Metadata

Show full item record

Conference Title

Proceedings 2013 IEEE Ninth 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