ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

iFMCloud 2016 - First International Workshop on Formal Methods for and on the Cloud



VenueReykjavik, Iceland Iceland



Topics/Call fo Papers

The goal of the iFMCloud workshop is to identify and better understand challenges of using formal and semi-formal methods for modeling and verification of Cloud-based systems and computer and communication networks, as well as challenges and opportunities in providing formal analysis and verification as services on the Cloud. We aim to reach these goals by bringing together researchers and practitioners from these, and other related fields.

Last modified: 2015-11-23 22:57:08