Verification of Use-Cases with FOAM Tool in Context of Cloud Providers

Jirí Vinárek, Viliam Simko, Petr Hnetynka. Verification of Use-Cases with FOAM Tool in Context of Cloud Providers. In 41st Euromicro Conference on Software Engineering and Advanced Applications, EUROMICRO-SEAA 2015, Madeira, Portugal, August 26-28, 2015. pages 151-158, IEEE, 2015. [doi]

Authors

Jirí Vinárek

This author has not been identified. Look up 'Jirí Vinárek' in Google

Viliam Simko

This author has not been identified. Look up 'Viliam Simko' in Google

Petr Hnetynka

This author has not been identified. Look up 'Petr Hnetynka' in Google