Towards formal modeling and verification of cloud architectures: A case study on hadoop
No Thumbnail Available
File version
Author(s)
Reddy, GS
Feng, Y
Liu, Y
Dong, JS
Jun, S
Kanagasabai, R
Feng, Y
Liu, Y
Dong, JS
Jun, S
Kanagasabai, R
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Jain H. and Feig E.
Date
2013
Size
File type(s)
Location
Santa Clara, California, USA
License
Journal Title
Conference Title
Proceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013
Book Title
Edition
1st
Volume
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject
Information systems not elsewhere classified