External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems

Amir Molzam Sharifloo, Andreas Metzger. MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems. In Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, editors, Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers. Volume 9640 of Lecture Notes in Computer Science, pages 137-153, Springer, 2013. [doi]

Authors

Amir Molzam Sharifloo

This author has not been identified. Look up 'Amir Molzam Sharifloo' in Google

Andreas Metzger

This author has not been identified. Look up 'Andreas Metzger' in Google
runs on