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.

From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation

Yousra Bendaly Hlaoui, Ahlem Ben Younes, Leila Jemni Ben Ayed, Manel Fathalli. From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation. In Sorel Reisman, Sheikh Iqbal Ahamed, Claudio Demartini, Thomas M. Conte, Ling Liu 0001, William R. Claycomb, Motonori Nakamura, Edmundo Tovar, Stelvio Cimato, Chung-Horng Lung, Hiroki Takakura, Ji-Jiang Yang, Toyokazu Akiyama, Zhiyong Zhang 0002, Kamrul Hasan, editors, 41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 2. pages 187-192, IEEE Computer Society, 2017. [doi]

Authors

Yousra Bendaly Hlaoui

This author has not been identified. Look up 'Yousra Bendaly Hlaoui' in Google

Ahlem Ben Younes

This author has not been identified. Look up 'Ahlem Ben Younes' in Google

Leila Jemni Ben Ayed

This author has not been identified. Look up 'Leila Jemni Ben Ayed' in Google

Manel Fathalli

This author has not been identified. Look up 'Manel Fathalli' in Google
runs on