Towards formal modeling and verification of cloud architectures: A case study on hadoop
10.1109/SERVICES.2013.47
Saved in:
| Main Authors: | , , , , , |
|---|---|
| Other Authors: | |
| Format: | Conference or Workshop Item |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://scholarbank.nus.edu.sg/handle/10635/78401 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | National University of Singapore |
| id |
sg-nus-scholar.10635-78401 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-784012015-01-06T07:08:15Z Towards formal modeling and verification of cloud architectures: A case study on hadoop Reddy, G.S. Feng, Y. Liu, Y. Dong, J.S. Jun, S. Kanagasabai, R. COMPUTER SCIENCE Formal Verification Hadoop 10.1109/SERVICES.2013.47 Proceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013 306-311 2014-07-04T03:15:51Z 2014-07-04T03:15:51Z 2013 Conference Paper Reddy, G.S.,Feng, Y.,Liu, Y.,Dong, J.S.,Jun, S.,Kanagasabai, R. (2013). Towards formal modeling and verification of cloud architectures: A case study on hadoop. Proceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013 : 306-311. ScholarBank@NUS Repository. <a href="https://doi.org/10.1109/SERVICES.2013.47" target="_blank">https://doi.org/10.1109/SERVICES.2013.47</a> 9780768550244 http://scholarbank.nus.edu.sg/handle/10635/78401 NOT_IN_WOS Scopus |
| institution |
National University of Singapore |
| building |
NUS Library |
| country |
Singapore |
| collection |
ScholarBank@NUS |
| topic |
Formal Verification Hadoop |
| spellingShingle |
Formal Verification Hadoop Reddy, G.S. Feng, Y. Liu, Y. Dong, J.S. Jun, S. Kanagasabai, R. Towards formal modeling and verification of cloud architectures: A case study on hadoop |
| description |
10.1109/SERVICES.2013.47 |
| author2 |
COMPUTER SCIENCE |
| author_facet |
COMPUTER SCIENCE Reddy, G.S. Feng, Y. Liu, Y. Dong, J.S. Jun, S. Kanagasabai, R. |
| format |
Conference or Workshop Item |
| author |
Reddy, G.S. Feng, Y. Liu, Y. Dong, J.S. Jun, S. Kanagasabai, R. |
| author_sort |
Reddy, G.S. |
| title |
Towards formal modeling and verification of cloud architectures: A case study on hadoop |
| title_short |
Towards formal modeling and verification of cloud architectures: A case study on hadoop |
| title_full |
Towards formal modeling and verification of cloud architectures: A case study on hadoop |
| title_fullStr |
Towards formal modeling and verification of cloud architectures: A case study on hadoop |
| title_full_unstemmed |
Towards formal modeling and verification of cloud architectures: A case study on hadoop |
| title_sort |
towards formal modeling and verification of cloud architectures: a case study on hadoop |
| publishDate |
2014 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/78401 |
| _version_ |
1681088634867941376 |