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 recordConference Title
Proceedings - 2013 IEEE 9th World Congress on Services, SERVICES 2013
Subject
Information systems not elsewhere classified